| Modeling human errors in security protocols D Basin, S Radomirovic, L Schmid 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 325-340, 2016 | 59 | 2016 |
| Alethea: A provably secure random sample voting protocol D Basin, S Radomirovic, L Schmid 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 283-297, 2018 | 31 | 2018 |
| Fixing the Achilles Heel of E-Voting: The Bulletin Board L Hirschi, L Schmid, D Basin | 28* | |
| Election security and economics: It’s all about eve D Basin, H Gersbach, A Mamageishvili, L Schmid, O Tejada International Joint Conference on Electronic Voting, 1-20, 2017 | 17 | 2017 |
| Dispute Resolution in Voting D Basin, S Radomirovic, L Schmid arXiv preprint arXiv:2005.03749, 2020 | 8 | 2020 |
| Human errors in secure communication protocols L Schmid ETH Zürich, 2015 | 3 | 2015 |
| Tamarin files for the thesis" Advancing the Formal Foundations for Voting Protocols" L Schmid ETH Zurich, 2020 | | 2020 |
| CSF 2020 D Basin, S Radomirović, L Schmid | | |
| CSF 2018 M Baldi, C Baritel-Ruet, C Brunetta, S Calzavara, Y Chevalier, G Costa, ... | | |
