Ehsan Estaji

According to our database, Ehsan Estaji authored at least 8 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Individual Verifiability for E-Voting, From Formal Verification To Machine Learning.

Ehsan Estaji

PhD thesis, 2023

Machine-checked proofs of privacy against malicious boards for Selene & Co.

Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg

J. Comput. Secur., 2023

2021

"Just for the Sake of Transparency": Exploring Voter Mental Models of Verifiability.

Marie-Laure Zollinger, Ehsan Estaji, Peter Y. A. Ryan, Karola Marky

Proceedings of the Electronic Voting - 6th International Joint Conference, 2021

2020

Revisiting Practical and Usable Coercion-Resistant Remote E-Voting.

Ehsan Estaji, Thomas Haines, Kristian Gjøsteen, Peter B. Rønne, Peter Y. A. Ryan, Najmeh Soroush

Proceedings of the Electronic Voting - 5th International Joint Conference, 2020

2019

Moore-Penrose inverse of incidence matrix of graphs with complete and cyclic blocks.

Ali Azimi, R. B. Bapat, Ehsan Estaji

Discret. Math., 2019

Metric properties of generalized Sierpiński graphs over stars.

Yaser Alizadeh, Ehsan Estaji, Sandi Klavzar, Marko Petkovsek

Discret. Appl. Math., 2019

2017

Distinguishing Cartesian products of countable graphs.

Ehsan Estaji, Wilfried Imrich, Rafal Kalinowski, Monika Pilsniak, Thomas W. Tucker

Discuss. Math. Graph Theory, 2017

The strong metric dimension of generalized Sierpiński graphs with pendant vertices.

Ehsan Estaji, Juan Alberto Rodríguez-Velázquez

Ars Math. Contemp., 2017