• Matteo Maffei (8 papers)
• Dominique Unruh (5 papers)
• Kim Pecina (4 papers)
• Michael Backes (4 papers)
• Aniket Kate (3 papers)
• Pascal Berrang (3 papers)
• Markus Duermuth (3 papers)
• Yasemin Acar (3 papers)
• Mathias Humbert (3 papers)
• Jan Reineke (3 papers)
• Stefan Nurnberger (3 papers)
• Trung Tin Nguyen (3 papers)
• Yang Zhang (2 papers)
• Birgit Pfitzmann (2 papers)
• Manuel Reinert (2 papers)
• Dominique Schroder (2 papers)
• Sascha Fahl (2 papers)
• Christian Stransky (2 papers)
• Giorgi Maisuradze (2 papers)
• Michael Steiner (1 papers)
• Pedro Moreno-Sanchez (1 papers)
• Inken Hagestedt (1 papers)
• Ahmed Salem (1 papers)
• Martin Welk (1 papers)
• Giulio Malavolta (1 papers)
• Daniel Frassinelli (1 papers)
• Sohyeon Park (1 papers)
• Peeter Laud (1 papers)
• Stephan Neuhaus (1 papers)
• Thomas Zimmermann (1 papers)
• Catalin Hritcu (1 papers)
• Raphael M. Reischuk (1 papers)
• Sebastian Meiser (1 papers)
• Esfandiar Mohammadi (1 papers)
• Tim Ruffing (1 papers)
• Helmut Seidel (1 papers)
• Praveen Manoharan (1 papers)
• Jonas Schneider (1 papers)
• Nils Fleischhacker (1 papers)
• Robert Kuennemann (1 papers)
• Johannes Krupp (1 papers)
• Sebastian Gerling (1 papers)
• Manfred Pinkal (1 papers)
• Caroline Sporleder (1 papers)
• Kim Herzig (1 papers)
• Dominik Feld (1 papers)
• Christian Hammer (1 papers)
• Oliver Schranz (1 papers)
• Philipp von Styp-Rekowsky (1 papers)
• Sebastian Weisgerber (1 papers)
• Anna Hecksteden (1 papers)
• Andreas Keller (1 papers)
• Tim Meyer (1 papers)
• Ben Stock (1 papers)
• Michael Schilling (1 papers)
• Dhiman Chakraborty (1 papers)
• Sebastian Roth (1 papers)
• Yusra Elbitar (1 papers)

"Secure Password-Based Cipher Suite for TLS"

Michael Steiner, ... -- NDSS 2000

"Accountable Certificate Management using Undeniable Attestations"

Peeter Laud, ... -- CCS 2000

"Composition and Integrity Preservation of Secure Reactive Systems"

Birgit Pfitzmann, ... -- CCS 2000

"A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission"

Birgit Pfitzmann, ... -- Oakland 2001

"Computationally Sound Secrecy Proofs by Mechanized Flow Analysis"

Michael Backes, ... -- CCS 2006

"Predicting Vulnerable Software Components"

Stephan Neuhaus, Thomas Zimmermann, ... -- CCS 2007

"Compromising Reflections-or-How to Read LCD Monitors around the Corner"

Dominique Unruh, Markus Duermuth, ... -- Oakland 2008

"Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol"

Matteo Maffei, Dominique Unruh, ... -- Oakland 2008

"Type-checking Zero-knowledge"

Catalin Hritcu, Matteo Maffei, ... -- CCS 2008

"CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable"

Dominique Unruh, ... -- NDSS 2009

"Tempest in a Teapot: Compromising Reflections Revisited"

Markus Duermuth, Martin Welk, ... -- Oakland 2009

"CoSP: a general framework for computational soundness proofs"

Dominique Unruh, ... -- CCS 2009

"Computationally sound verification of source code"

Matteo Maffei, Dominique Unruh, ... -- CCS 2010

"Acoustic Side-Channel Attacks on Printers"

Markus Duermuth, Sebastian Gerling, Manfred Pinkal, Caroline Sporleder, ... -- Usenix 2010

"A Security API for Distributed Social Networks"

Matteo Maffei, Kim Pecina, ... -- NDSS 2011

"Automated Synthesis of Secure Distributed Applications"

Matteo Maffei, Kim Pecina, ... -- NDSS 2012

"ObliviAd: Provably Secure and Practical Online Behavioral Advertising"

Matteo Maffei, Kim Pecina, ... -- Oakland 2012

"Fuzzing with Code Fragments"

Kim Herzig, ... -- Usenix 2012

"Verifiable Delegation of Computation on Outsourced Data"

Raphael M. Reischuk, ... -- CCS 2013

"CacheAudit: A Tool for the Static Analysis of Cache Side Channels"

Dominik Feld, Jan Reineke, ... -- Usenix 2013

"(Nothing else) MATor(s): Monitoring the Anonymity of Tor's Path Selection"

Aniket Kate, Sebastian Meiser, Esfandiar Mohammadi, ... -- CCS 2014

"You Can Run but You Can't Read: Preventing Disclosure Exploits in Executable Code"

Stefan Nurnberger, ... -- CCS 2014

"Oxymoron: Making Fine-Grained Memory Randomization Practical by Allowing Code Sharing"

Stefan Nurnberger, ... -- Usenix 2014

"Privacy Preserving Payments in Credit Networks"

Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Kim Pecina, ... -- NDSS 2015

"Privacy and Access Control for Outsourced Personal Records"

Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schroder, ... -- Oakland 2015

"Liar, Liar, Coins on Fire! Preventing Equivocation Using Bitcoin Deposits"

Tim Ruffing, Aniket Kate, Dominique Schroder, ... -- CCS 2015

"Boxify: Full-fledged App Sandboxing for Stock Android"

Christian Hammer, Oliver Schranz, Philipp von Styp-Rekowsky, ... -- Usenix 2015

"SoK: Lessons Learned From Android Security Research For Appified Software Platforms"

Yasemin Acar, ... -- Oakland 2016

"MEMS-based Gyroscopes as Physical Unclonable Functions"

Helmut Seidel, ... -- CCS 2016

"Membership Privacy in MicroRNA-based Studies"

Mathias Humbert, Praveen Manoharan, ... -- CCS 2016

"Efficient Cryptographic Password Hardening Services From Partially Oblivious Commitments"

Jonas Schneider, Nils Fleischhacker, ... -- CCS 2016

"Computational Soundness of Dalvik Bytecode"

Robert Kuennemann, ... -- CCS 2016

"Identifying the Scanners and Attack Infrastructure behind Amplification DDoS attacks"

Johannes Krupp, ... -- CCS 2016

"What Cannot be Read, Cannot be Leveraged? Revisiting Assumptions of JIT-ROP Defenses"

Giorgi Maisuradze, ... -- Usenix 2016

"On Demystifying the Android Application Framework: Re-Visiting Android Permission Specification Analysis"

Sebastian Weisgerber, ... -- Usenix 2016

"Privacy in Epigenetics: Temporal Linkability of MicroRNA Expression Profiles"

Anna Hecksteden, Mathias Humbert, Andreas Keller, Tim Meyer, ... -- Usenix 2016

"Comparing the Usability of Cryptographic APIs"

Yasemin Acar, Michael Backes, Sascha Fahl, Christian Stransky, ... -- Oakland 2017

"Identifying Personal DNA Methylation Profiles by Genotype Inference"

Michael Backes, Pascal Berrang, Mathias Humbert, ... -- Oakland 2017

"Stack Overflow Considered Harmful? --- The Impact of Copy&Paste on Android Application Security"

Christian Stransky, Yasemin Acar, Michael Backes, Sascha Fahl, ... -- Oakland 2017

"How the Web Tangled Itself: Uncovering the History of Client-Side Web (In)Security"

Ben Stock, ... -- Usenix 2017

"Better managed than memorized? Studying the Impact of Managers on Password Strength and Reuse"

Michael Schilling, ... -- Usenix 2018

"Simple Password-Hardened Encryption Services"

Manuel Reinert, ... -- Usenix 2018

"MBeacon: Privacy-Preserving Beacons for DNA Methylation Data"

Inken Hagestedt, Yang Zhang, Pascal Berrang, ... -- NDSS 2019

"ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models"

Ahmed Salem, Yang Zhang, Pascal Berrang, ... -- NDSS 2019

"RIDL: Rogue In-Flight Data Load"

Giorgi Maisuradze, ... -- Oakland 2019

"simTPM: User-centric TPM for Mobile Devices"

Dhiman Chakraborty, ... -- Usenix 2019

"Spectector: Principled Detection of Speculative Information Flows"

Jan Reineke, ... -- Oakland 2020

"I Know Where You Parked Last Summer - Automated Reverse Engineering and Privacy Analysis of Modern Cars"

Daniel Frassinelli, Sohyeon Park, Stefan Nurnberger, ... -- Oakland 2020

"A Tale of Two Headers: A Formal Analysis of Inconsistent Click-Jacking Protection on the Web"

Sebastian Roth, ... -- Usenix 2020

"Hardware-Software Contracts for Secure Speculation"

Jan Reineke, ... -- Oakland 2021

"Explanation Beats Context: The Effect of Timing & Rationales on Users' Runtime Permission Decisions"

Yusra Elbitar, Trung Tin Nguyen, ... -- Usenix 2021

"Share First, Ask Later (or Never?) Studying Violations of GDPR's Explicit Consent in Android Apps"

Trung Tin Nguyen, ... -- Usenix 2021

"Freely Given Consent? Studying Consent Notice of Third-Party Tracking and Its Violations of GDPR in Android Apps"

Trung Tin Nguyen, ... -- CCS 2022