Volgen
Schmid Lara
Schmid Lara
DFINITY
Geverifieerd e-mailadres voor dfinity.org
Titel
Geciteerd door
Geciteerd door
Jaar
Modeling human errors in security protocols
D Basin, S Radomirovic, L Schmid
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 325-340, 2016
482016
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
272018
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
152017
Fixing the Achilles Heel of E-Voting: The Bulletin Board
L Hirschi, L Schmid, D Basin
14*
Dispute Resolution in Voting
D Basin, S Radomirovic, L Schmid
arXiv preprint arXiv:2005.03749, 2020
72020
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, ...
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–9