S. Reza Sefidgar

Entries

2021

Constructive Cryptography in HOL: the Communication Modeling Aspect

by Andreas Lochbihler 🌐 and S. Reza Sefidgar

Mar 17

2018

Constructive Cryptography in HOL

by Andreas Lochbihler 🌐 and S. Reza Sefidgar

Dec 17

2017

Formalizing Push-Relabel Algorithms

by Peter Lammich 🌐 and S. Reza Sefidgar

Jun 01

Flow Networks and the Min-Cut-Max-Flow Theorem

by Peter Lammich 🌐 and S. Reza Sefidgar

Jun 01

Game-based cryptography in HOL

by Andreas Lochbihler 🌐, S. Reza Sefidgar and Bhargav Bhatt 📧

May 05

2016

Formalizing the Edmonds-Karp Algorithm

by Peter Lammich 📧 and S. Reza Sefidgar

Aug 12