2021
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

2020
CryptHOL: Game-Based Proofs in Higher-Order Logic.
J. Cryptol., 2020

2019
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

2018
A tutorial introduction to CryptHOL.
IACR Cryptol. ePrint Arch., 2018

Constructive Cryptography in HOL.
Arch. Formal Proofs, 2018

2017
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

2016
Formalizing the Edmonds-Karp Algorithm.
Arch. Formal Proofs, 2016