| 2021 | 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021 |
| 2021 | A Coq proof of the correctness of X25519 in TweetNaCl. Peter Schwabe, Benoît Viguier, Timmy Weerwag, Freek Wiedijk |
| 2021 | A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption. Mireya Jurado, Catuscia Palamidessi, Geoffrey Smith |
| 2021 | A Quantale of Information. Sebastian Hunt, David Sands |
| 2021 | Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL. David A. Basin, Andreas Lochbihler, Ueli Maurer, S. Reza Sefidgar |
| 2021 | Accountability in the Decentralised-Adversary Setting. Robert Künnemann, Deepak Garg, Michael Backes |
| 2021 | Automating Audit with Policy Inference. Abhishek Bichhawat, Matt Fredrikson, Jean Yang |
| 2021 | Backwards-directed information flow analysis for concurrent programs. Kirsten Winter, Nicholas Coughlin, Graeme Smith |
| 2021 | CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens |
| 2021 | Computationally sound Bitcoin tokens. Massimo Bartoletti, Stefano Lande, Roberto Zunino |
| 2021 | Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures. Arthur Américo, Pasquale Malacaria |
| 2021 | Concise UC Zero-Knowledge Proofs for Oblivious Updatable Databases. Jan Camenisch, Maria Dubovitskaya, Alfredo Rial |
| 2021 | Consistency for Functional Encryption. Christian Badertscher, Aggelos Kiayias, Markulf Kohlweiss, Hendrik Waldner |
| 2021 | Cooking Cryptographers: Secure Multiparty Computation Based on Balls and Bags. Daiki Miyahara, Yuichi Komano, Takaaki Mizuki, Hideaki Sone |
| 2021 | DDUO: General-Purpose Dynamic Analysis for Differential Privacy. Chike Abuah, Alex Silence, David Darais, Joseph P. Near |
| 2021 | Dynamic IFC Theorems for Free! Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu |
| 2021 | Efficient Algorithms for Quantitative Attack Tree Analysis. Carlos E. Budde, Mariëlle Stoelinga |
| 2021 | Efficient Constructions of Pairing Based Accumulators. Ioanna Karantaidou, Foteini Baldimtsi |
| 2021 | Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang |
| 2021 | Fixing the Achilles Heel of E-Voting: The Bulletin Board. Lucca Hirschi, Lara Schmid, David A. Basin |
| 2021 | Formal Impact Metrics for Cyber-physical Attacks. Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini |
| 2021 | Formal Verification of Secure Forwarding Protocols. Tobias Klenze, Christoph Sprenger, David A. Basin |
| 2021 | Formal security analysis of MPC-in-the-head zero-knowledge protocols. Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters |
| 2021 | Formalizing Nakamoto-Style Proof of Stake. Søren Eller Thomsen, Bas Spitters |
| 2021 | Gradual Security Types and Gradual Guarantees. Abhishek Bichhawat, McKenna McCall, Limin Jia |
| 2021 | Heuristic Approach for Countermeasure Selection Using Attack Graphs. Orly Stan, Ron Bitton, Michal Ezrets, Moran Dadon, Masaki Inokuchi, Yoshinobu Ohta, Tomohiko Yagyu, Yuval Elovici, Asaf Shabtai |
| 2021 | KACHINA - Foundations of Private Smart Contracts. Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss |
| 2021 | Language Support for Secure Software Development with Enclaves. Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi |
| 2021 | Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem. François Dupressoir, Sara Zain |
| 2021 | Mechanised Models and Proofs for Distance-Bounding. Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade |
| 2021 | On Compositional Information Flow Aware Refinement. Christoph Baumann, Mads Dam, Roberto Guanciale, Hamed Nemati |
| 2021 | On the Soundness of Infrastructure Adversaries. Alexander Dax, Robert Künnemann |
| 2021 | Performing Security Proofs of Stateful Protocols. Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull |
| 2021 | Relational Analysis of Sensor Attacks on Cyber-Physical Systems. Jian Xiang, Nathan Fulton, Stephen Chong |
| 2021 | Resource-Aware Session Types for Digital Contracts. Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, Ishani Santurkar |
| 2021 | SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters |
| 2021 | Secure Compilation of Constant-Resource Programs. Gilles Barthe, Sandrine Blazy, Rémi Hutin, David Pichardie |
| 2021 | Statistical Model Checking for Hyperproperties. Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic |
| 2021 | Towards Language-Based Mitigation of Traffic Analysis Attacks. Jeppe Fredsgaard Blaabjerg, Aslan Askarov |
| 2021 | Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping. Denis Firsov, Henri Lakk, Ahto Truu |
| 2021 | Verifying Accountability for Unbounded Sets of Participants. Kevin Morio, Robert Künnemann |
| 2021 | Verifying Hyperproperties With TLA. Leslie Lamport, Fred B. Schneider |
| 2021 | Vertical Composition and Sound Payload Abstraction for Stateful Protocols. Sébastien Gondron, Sebastian Mödersheim |
| 2021 | Yes We can: Watermarking Machine Learning Models beyond Classification. Sofiane Lounici, Mohamed Njeh, Orhan Ermis, Melek Önen, Slim Trabelsi |