The strong metric dimension of generalized Sierpiński graphs with pendant vertices. - Ehsan Estaji; Juan Alberto Rodríguez-Velázquez (Ars Math. Contemp., 2017)

Distinguishing Cartesian products of countable graphs. - Ehsan Estaji; Wilfried Imrich; Rafal Kalinowski; Monika Pilsniak; Thomas W. Tucker (Discuss. Math. Graph Theory, 2017)

Metric properties of generalized Sierpiński graphs over stars. - Yaser Alizadeh; Ehsan Estaji; Sandi Klavzar; Marko Petkovsek (Discret. Appl. Math., 2019)

Moore-Penrose inverse of incidence matrix of graphs with complete and cyclic blocks. - Ali Azimi; R. B. Bapat 001; Ehsan Estaji (Discret. Math., 2019)

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 (E-VOTE-ID, 2020)

"Just for the Sake of Transparency": Exploring Voter Mental Models of Verifiability. - Marie-Laure Zollinger; Ehsan Estaji; Peter Y. A. Ryan; Karola Marky (E-VOTE-ID, 2021)

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)

Individual Verifiability for E-Voting, From Formal Verification To Machine Learning. - Ehsan Estaji (2023)