Follow
Schmid Lara
Schmid Lara
DFINITY
Verified email at dfinity.org
Title
Cited by
Cited by
Year
Modeling human errors in security protocols
D Basin, S Radomirovic, L Schmid
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 325-340, 2016
592016
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
312018
Fixing the Achilles Heel of E-Voting: The Bulletin Board
L Hirschi, L Schmid, D Basin
31*
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
172017
Dispute Resolution in Voting
D Basin, S Radomirovic, L Schmid
arXiv preprint arXiv:2005.03749, 2020
82020
Human errors in secure communication protocols
L Schmid
ETH Zürich, 2015
32015
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, ...
The system can't perform the operation now. Try again later.
Articles 1–9