2 works on record
Unity of Logic and Computation
2023
Handbook of Formal Analysis and Verification in Cryptography