S. Reza Sefidgar
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 13
Publications (10 Years): 13
Publications
- Andreas Lochbihler, S. Reza Sefidgar
- David A. Basin, Andreas Lochbihler, S. Reza Sefidgar
- Peter Lammich, S. Reza Sefidgar
- Andreas Lochbihler, S. Reza Sefidgar, David A. Basin, Ueli Maurer
- Andreas Lochbihler, S. Reza Sefidgar
- Andreas Lochbihler, S. Reza SefidgarConstructive Cryptography in HOL. Arch. Formal Proofs 2018 (2018)
- Andreas Lochbihler, S. Reza Sefidgar, Bhargav BhattGame-based cryptography in HOL. Arch. Formal Proofs 2017 (2017)
- Peter Lammich, S. Reza Sefidgar
- David A. Basin, Andreas Lochbihler, S. Reza Sefidgar
- Peter Lammich, S. Reza Sefidgar
- Peter Lammich, S. Reza Sefidgar
- Peter Lammich, S. Reza Sefidgar