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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski