| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
S. Reza Sefidgar
Entries
| 2018 |
| December 17: Constructive Cryptography in HOL |
| 2017 |
| June 1: Formalizing Push-Relabel Algorithms |
| June 1: Flow Networks and the Min-Cut-Max-Flow Theorem |
| May 5: Game-based cryptography in HOL |
| 2016 |
| August 12: Formalizing the Edmonds-Karp Algorithm |