S. Reza Sefidgar

Constructive Cryptography in HOL: the Communication Modeling Aspect

by Andreas Lochbihler and S. Reza Sefidgar

Constructive Cryptography in HOL

by Andreas Lochbihler and S. Reza Sefidgar

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

Formalizing the Edmonds-Karp Algorithm

by Peter Lammich and S. Reza Sefidgar