Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs
No abstract available.
Related papers
- EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis POPL 2024
- Formally Verified Montgomery Multiplication CAV 2018
- Formalizing the One-Way to Hiding Theorem CPP 2025
- Cape: compiler-aided program transformation for HTM-based cache side-channel defense CC 2022
- Automated Verification of Consistency in Zero-Knowledge Proof Circuits CAV 2025
- ILC: a calculus for composable, computational cryptography PLDI 2019
- Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits OOPSLA 2025
- Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL CPP 2020