S. Reza Sefidgar

14 papers A 2B 1Journal 10
YearRankTypeTitle / Venue / Authors
2021 A conf
Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL.
CSF
David A. Basin, Andreas Lochbihler, Ueli Maurer, S. Reza Sefidgar
2021 J jnl
Constructive Cryptography in HOL: the Communication Modeling Aspect.
Arch. Formal Proofs
Andreas Lochbihler, S. Reza Sefidgar
2021 — —
Formal Verification of Composable Security Proofs.
S. Reza Sefidgar
2020 J jnl
CryptHOL: Game-Based Proofs in Higher-Order Logic.
J. Cryptol.
David A. Basin, Andreas Lochbihler, S. Reza Sefidgar
2019 A conf
Formalizing Constructive Cryptography using CryptHOL.
CSF
Andreas Lochbihler, S. Reza Sefidgar, David A. Basin, Ueli Maurer
2019 J jnl
Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL.
J. Autom. Reason.
Peter Lammich, S. Reza Sefidgar
2018 J jnl
A tutorial introduction to CryptHOL.
IACR Cryptol. ePrint Arch.
Andreas Lochbihler, S. Reza Sefidgar
2018 J jnl
Constructive Cryptography in HOL.
Arch. Formal Proofs
Andreas Lochbihler, S. Reza Sefidgar
2017 J jnl
CryptHOL: Game-based Proofs in Higher-order Logic.
IACR Cryptol. ePrint Arch.
David A. Basin, Andreas Lochbihler, S. Reza Sefidgar
2017 J jnl
Flow Networks and the Min-Cut-Max-Flow Theorem.
Arch. Formal Proofs
Peter Lammich, S. Reza Sefidgar
2017 J jnl
Formalizing Push-Relabel Algorithms.
Arch. Formal Proofs
Peter Lammich, S. Reza Sefidgar
2017 J jnl
Game-based cryptography in HOL.
Arch. Formal Proofs
Andreas Lochbihler, S. Reza Sefidgar, Bhargav Bhatt
2016 B conf
Formalizing the Edmonds-Karp Algorithm.
ITP
Peter Lammich, S. Reza Sefidgar
2016 J jnl
Formalizing the Edmonds-Karp Algorithm.
Arch. Formal Proofs
Peter Lammich, S. Reza Sefidgar