Login / Signup
S. Reza Sefidgar
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 13
Top Topics
Theorem Prover
Higher Order Logic
Digital Educational Games
Network Flow
Top Venues
Arch. Formal Proofs
CSF
IACR Cryptol. ePrint Arch.
ITP
</>
Publications
</>