Modeling Human Errors in Security Protocols. - David A. Basin; Sasa Radomirovic; Lara Schmid (CSF, 2016)

Election Security and Economics: It's All About Eve. - David A. Basin; Hans Gersbach; Akaki Mamageishvili; Lara Schmid; Oriol Tejada (E-VOTE-ID, 2017)

Alethea: A Provably Secure Random Sample Voting Protocol. - David A. Basin; Sasa Radomirovic; Lara Schmid (CSF, 2018)

Dispute Resolution in Voting. - David A. Basin; Sasa Radomirovic; Lara Schmid (CSF, 2020)

Fixing the Achilles Heel of E-Voting: The Bulletin Board. - Lucca Hirschi; Lara Schmid; David A. Basin (IACR Cryptol. ePrint Arch., 2020)

Advancing the Formal Foundations for Voting Protocols. - Lara Schmid (2020)

Combating Reentrancy Bugs on Sharded Blockchains. - Ognjen Maric; Robin Künzler; Lara Schmid; Roman Kashitsyn (ICBC, 2025)