Formal Verification of Composable Security Proofs.
PhD thesis, 2021
Constructive Cryptography in HOL: the Communication Modeling Aspect.
Arch. Formal Proofs, 2021
Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL.
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
CryptHOL: Game-Based Proofs in Higher-Order Logic.
J. Cryptol., 2020
Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL.
J. Autom. Reason., 2019
Formalizing Constructive Cryptography using CryptHOL.
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019
A tutorial introduction to CryptHOL.
IACR Cryptol. ePrint Arch., 2018
Constructive Cryptography in HOL.
Arch. Formal Proofs, 2018
Game-based cryptography in HOL.
Arch. Formal Proofs, 2017
Formalizing Push-Relabel Algorithms.
Arch. Formal Proofs, 2017
Flow Networks and the Min-Cut-Max-Flow Theorem.
Arch. Formal Proofs, 2017
Formalizing the Edmonds-Karp Algorithm.
Arch. Formal Proofs, 2016