Formalizing the Edmonds-Karp Algorithm. - Peter Lammich; S. Reza Sefidgar (Arch. Formal Proofs, 2016)

Flow Networks and the Min-Cut-Max-Flow Theorem. - Peter Lammich; S. Reza Sefidgar (Arch. Formal Proofs, 2017)

Formalizing Push-Relabel Algorithms. - Peter Lammich; S. Reza Sefidgar (Arch. Formal Proofs, 2017)

Game-based cryptography in HOL. - Andreas Lochbihler; S. Reza Sefidgar; Bhargav Bhatt (Arch. Formal Proofs, 2017)

Constructive Cryptography in HOL. - Andreas Lochbihler; S. Reza Sefidgar (Arch. Formal Proofs, 2018)

A tutorial introduction to CryptHOL. - Andreas Lochbihler; S. Reza Sefidgar (IACR Cryptol. ePrint Arch., 2018)

Formalizing Constructive Cryptography using CryptHOL. - Andreas Lochbihler; S. Reza Sefidgar; David A. Basin; Ueli Maurer (CSF, 2019)

Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL. - Peter Lammich; S. Reza Sefidgar (J. Autom. Reason., 2019)

CryptHOL: Game-Based Proofs in Higher-Order Logic. - David A. Basin; Andreas Lochbihler; S. Reza Sefidgar (J. Cryptol., 2020)

Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL. - David A. Basin; Andreas Lochbihler; Ueli Maurer; S. Reza Sefidgar (CSF, 2021)

Constructive Cryptography in HOL: the Communication Modeling Aspect. - Andreas Lochbihler; S. Reza Sefidgar (Arch. Formal Proofs, 2021)

Formal Verification of Composable Security Proofs. - S. Reza Sefidgar (2021)