Individual Verifiability for E-Voting, From Formal Verification To Machine Learning.
PhD thesis, 2023
Machine-checked proofs of privacy against malicious boards for Selene & Co.
J. Comput. Secur., 2023
"Just for the Sake of Transparency": Exploring Voter Mental Models of Verifiability.
Proceedings of the Electronic Voting - 6th International Joint Conference, 2021
Revisiting Practical and Usable Coercion-Resistant Remote E-Voting.
Proceedings of the Electronic Voting - 5th International Joint Conference, 2020
Moore-Penrose inverse of incidence matrix of graphs with complete and cyclic blocks.
Discret. Math., 2019
Metric properties of generalized Sierpiński graphs over stars.
Discret. Appl. Math., 2019
Distinguishing Cartesian products of countable graphs.
Discuss. Math. Graph Theory, 2017
The strong metric dimension of generalized Sierpiński graphs with pendant vertices.
Ars Math. Contemp., 2017