Constructive Cryptography in HOL: the Communication Modeling Aspect
by Andreas Lochbihler and S. Reza Sefidgar
S. Reza Sefidgar
2021
2018
Constructive Cryptography in HOL
by Andreas Lochbihler and S. Reza Sefidgar
2017
Formalizing Push-Relabel Algorithms
by Peter Lammich and S. Reza Sefidgar
Flow Networks and the Min-Cut-Max-Flow Theorem
by Peter Lammich and S. Reza Sefidgar
Game-based cryptography in HOL
by Andreas Lochbihler, S. Reza Sefidgar and Bhargav Bhatt
2016
Formalizing the Edmonds-Karp Algorithm
by Peter Lammich and S. Reza Sefidgar