Besik Dundua

• Handbook of Formal Analysis and Verification in Cryptography
• Unity of Logic and Computation