S. Reza Sefidgar is an author at ETH Zurich specializing in automated reasoning, formal verification, and engineering.
Top concepts
EngineeringComputer ScienceAutomated ReasoningFormal VerificationGamesVerificationFormal MethodsCryptographyData PrivacyData Security
Publications per year
2017–2020
3
3
Formalizing Constructive Cryptography using CryptHOL
Andreas Lochbihler, S. Reza Sefidgar, David Basin et al. · 2019 · 18 citations · Full text
Cryptographic Proofs, Cryptographic Primitive, Engineering +17
Rows per page
1–3 of 3