Ehsan Estaji

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 9

Top Topics

Privacy Concerns

Personal Information

Top Venues

IACR Cryptol. ePrint Arch.

Discret. Appl. Math.

Publications

Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-checked proofs of privacy against malicious boards for Selene & Co. J. Comput. Secur. 31 (5) (2023)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. IACR Cryptol. ePrint Arch. 2022 (2022)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. CSF (2022)
Marie-Laure Zollinger, Ehsan Estaji, Peter Y. A. Ryan, Karola Marky
"Just for the Sake of Transparency": Exploring Voter Mental Models of Verifiability. E-VOTE-ID (2021)
Ehsan Estaji, Thomas Haines, Kristian Gjøsteen, Peter B. Rønne, Peter Y. A. Ryan, Najmeh Soroush
Revisiting Practical and Usable Coercion-Resistant Remote E-Voting. E-VOTE-ID (2020)
Yaser Alizadeh, Ehsan Estaji, Sandi Klavzar, Marko Petkovsek
Metric properties of generalized Sierpiński graphs over stars. Discret. Appl. Math. 266 (2019)
Ali Azimi, R. B. Bapat, Ehsan Estaji
Moore-Penrose inverse of incidence matrix of graphs with complete and cyclic blocks. Discret. Math. 342 (1) (2019)
Ehsan Estaji, Juan Alberto Rodríguez-Velázquez
The strong metric dimension of generalized Sierpiński graphs with pendant vertices. Ars Math. Contemp. 12 (1) (2017)
Ehsan Estaji, Wilfried Imrich, Rafal Kalinowski, Monika Pilsniak, Thomas W. Tucker
Distinguishing Cartesian products of countable graphs. Discuss. Math. Graph Theory 37 (1) (2017)