• Jonathan Smith (6 papers)
• Daniel Genkin (6 papers)
• Matt Blaze (5 papers)
• Shaanan Cohney (5 papers)
• Nadia Heninger (5 papers)
• Steve Zdancewic (5 papers)
• Benjamin C. Pierce (5 papers)
• Sebastian Angel (5 papers)
• Luke Valenta (4 papers)
• Andre DeHon (3 papers)
• Yiping Ma (3 papers)
• Sandy Clark (3 papers)
• Angelos D. Keromytis (2 papers)
• Micah Sherr (2 papers)
• Nathan Dautenhahn (2 papers)
• Joshua Fried (2 papers)
• Marcella Hastings (2 papers)
• Ben Karel (2 papers)
• Nick Roessler (2 papers)
• Sampath Kannan (2 papers)
• Mayur Naik (2 papers)
• Gaurav Shah (2 papers)
• Justin Hsu (2 papers)
• Ke Zhong (2 papers)
• Carl A. Gunter (1 papers)
• Sanjeev Khanna (1 papers)
• Kaijun Tan (1 papers)
• Santosh Venkatesh (1 papers)
• Wenchao Zhou (1 papers)
• Boon Thau Loo (1 papers)
• John Sonchack (1 papers)
• Nikos Vasilakis (1 papers)
• Stephen Tse (1 papers)
• Jeffrey Vaughan (1 papers)
• Milo M. K. Martin (1 papers)
• Catalin Hritcu (1 papers)
• Michael Greenberg (1 papers)
• Mario Alvim (1 papers)
• Arthur Azevedo de Amorim (1 papers)
• Antal Spector-Zabusky (1 papers)
• Brett Hemenway (1 papers)
• Daniel Noble (1 papers)
• Mihir Pattani (1 papers)
• Ziyang Li (1 papers)
• Sotiris Ioannidis (1 papers)
• R. Chadha (1 papers)
• M. Kanovich (1 papers)
• Andre Scedrov (1 papers)
• Aaron Bohannon (1 papers)
• Vilhelm Sjoberg (1 papers)
• Stephanie Weirich (1 papers)
• Eric Cronin (1 papers)
• Albert Kwon (1 papers)
• Udit Dhawan (1 papers)
• Andre Dehon (1 papers)
• Michael Collis (1 papers)
• Kihong Heo (1 papers)
• Woosuk Lee (1 papers)
• Pardis Pashakhanloo (1 papers)
• Konstantinos Kallas (1 papers)
• Andrew Beams (1 papers)
• Kostas G. Anagnostakis (1 papers)
• Andres Molina (1 papers)
• Travis Goodspeed (1 papers)
• Perry Metzger (1 papers)
• Zachary Wasserman (1 papers)
• Kevin Xu (1 papers)
• Andreas Haeberlen (1 papers)
• Arjun Narayan (1 papers)
• Insup Lee (1 papers)
• Tal Rabin (1 papers)
• Eleftherios Ioannidis (1 papers)
• Jess Woods (1 papers)

"Implementing a Distributed Firewall"

Sotiris Ioannidis, Angelos D. Keromytis, Jonathan Smith, ... -- CCS 2000

"Trust Management for IPsec"

Angelos D. Keromytis, ... -- NDSS 2001

"Inductive methods and contract-signing protocols"

R. Chadha, M. Kanovich, Andre Scedrov, ... -- CCS 2001

"Using Replication and Partitioning to Build Secure Distributed Systems"

Steve Zdancewic, ... -- Oakland 2003

"DoS Protection for Reliably Authenticated Broadcast"

Carl A. Gunter, Sanjeev Khanna, Kaijun Tan, Santosh Venkatesh, ... -- NDSS 2004

"Run-time Principals in Information-flow Type Systems"

Stephen Tse, Steve Zdancewic, ... -- Oakland 2004

"Detecting Targeted Attacks Using Shadow Honeypots"

Kostas G. Anagnostakis, ... -- Usenix 2005

"Keyboards, Covert Channels"

Gaurav Shah, Andres Molina, Matt Blaze, ... -- Usenix 2006

"A Cryptographic Decentralized Label Model"

Jeffrey Vaughan, Steve Zdancewic, ... -- Oakland 2007

"Reactive noninterference"

Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjoberg, Stephanie Weirich, Steve Zdancewic, ... -- CCS 2009

"Can they hear me now?: a security analysis of law enforcement wiretaps"

Micah Sherr, Gaurav Shah, Eric Cronin, Sandy Clark, Matt Blaze, ... -- CCS 2009

"A3: An Extensible Platform for Application-Aware Anonymity"

Micah Sherr, Wenchao Zhou, Boon Thau Loo, Matt Blaze, ... -- NDSS 2010

"Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically"

Milo M. K. Martin, Jonathan Smith, ... -- Oakland 2010

"Why (Special Agent) Johnny (Still) Can't Encrypt: A Security Analysis of the APCO Project 25 Two-Way Radio System"

Sandy Clark, Travis Goodspeed, Perry Metzger, Zachary Wasserman, Kevin Xu, Matt Blaze, ... -- Usenix 2011

"Differential Privacy Under Fire"

Andreas Haeberlen, Benjamin C. Pierce, Arjun Narayan, ... -- Usenix 2011

"All Your IFCException Are Belong To Us"

Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, ... -- Oakland 2013

"Low-Fat Pointers: Compact Encoding and Efficient Gate-Level Implementation of Fat Pointers for Spatial Safety and Capability-based Security"

Albert Kwon, Udit Dhawan, Jonathan Smith, Andre Dehon, ... -- CCS 2013

"Quantifying Information Flow for Dynamic Secrets"

Mario Alvim, ... -- Oakland 2014

"Moving Targets: Security and Rapid-Release in Firefox"

Sandy Clark, Michael Collis, Matt Blaze, Jonathan Smith, ... -- CCS 2014

"Micro-Policies: A Framework for Verified, Hardware-Assisted Security Monitors"

Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, ... -- Oakland 2015

"Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice"

Nadia Heninger, Luke Valenta, ... -- CCS 2015

"Enabling Practical Software-defined Networking Security Applications with OFX"

John Sonchack, Jonathan Smith, ... -- NDSS 2016

"Differentially Private Bayesian Programming"

Justin Hsu, ... -- CCS 2016

"Advanced Probabilistic Couplings for Differential Privacy"

Justin Hsu, ... -- CCS 2016

"A Systematic Analysis of the Juniper Dual EC Incident"

Joshua Fried, Shaanan Cohney, Nadia Heninger, ... -- CCS 2016

"DROWN: Breaking TLS using SSLv2"

Nadia Heninger, Luke Valenta, Shaanan Cohney, ... -- Usenix 2016

"Deconstructing Xen"

Nathan Dautenhahn, ... -- NDSS 2017

"Measuring small subgroup attacks against Diffie-Hellman"

Luke Valenta, Shaanan Cohney, Joshua Fried, Marcella Hastings, Nadia Heninger, ... -- NDSS 2017

"vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases"

Daniel Genkin, ... -- Oakland 2017

"May the Fourth Be With You: A Microarchitectural Side Channel Attack on Real-World Applications of Curve25519"

Daniel Genkin, Luke Valenta, ... -- CCS 2017

"USB Snooping Made Easy: Crosstalk Leakage Attacks on USB Hubs"

Daniel Genkin, ... -- Usenix 2017

"BreakApp: Automated, Flexible Application Compartmentalization."

Nikos Vasilakis, Ben Karel, Nick Roessler, Nathan Dautenhahn, Andre DeHon, Jonathan Smith, ... -- NDSS 2018

"Another Flip in the Wall of Rowhammer Defenses"

Daniel Genkin, ... -- Oakland 2018

"Protecting the Stack with Metadata Policies and Tagged Hardware"

Nick Roessler, Andre DeHon, ... -- Oakland 2018

"vRAM: Faster Verifiable RAM With Program-Independent Preprocessing"

Daniel Genkin, ... -- Oakland 2018

"When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise"

Benjamin C. Pierce, ... -- CCS 2018

"Practical state recovery attacks against legacy RNG implementations"

Shaanan Cohney, Nadia Heninger, ... -- CCS 2018

"Effective Program Debloating via Reinforcement Learning"

Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik, ... -- CCS 2018

"Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors"

Insup Lee, ... -- Usenix 2018

"SoK: General Purpose Compilers for Secure Multi-Party Computation"

Marcella Hastings, Brett Hemenway, Daniel Noble, Steve Zdancewic, ... -- Oakland 2019

"Spectre Attacks: Exploiting Speculative Execution"

Daniel Genkin, ... -- Oakland 2019

"Synesthesia: Detecting Screen Content via Remote Acoustic Side Channels"

Mihir Pattani, ... -- Oakland 2019

"Private Resource Allocators and Their Applications"

Sebastian Angel, Sampath Kannan, ... -- Oakland 2020

"Pseudorandom Black Swans: Cache Attacks on CTR_DRBG"

Shaanan Cohney, ... -- Oakland 2020

"ARBITRAR : User-Guided API Misuse Detection"

Ziyang Li, Mayur Naik, ... -- Oakland 2021

"Pegasus: Bridging Polynomial and Non-polynomial Evaluations in Homomorphic Encryption"

Yiping Ma, ... -- Oakland 2021

"Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction"

Konstantinos Kallas, Andre DeHon, ... -- CCS 2021

"Packet scheduling with optional client privacy"

Andrew Beams, Sampath Kannan, Sebastian Angel, ... -- CCS 2021

"Ibex: Privacy-preserving Ad Conversion Tracking and Bidding"

Ke Zhong, Yiping Ma, Sebastian Angel, ... -- CCS 2022

"Incremental Offline/Online PIR"

Yiping Ma, Ke Zhong, Tal Rabin, Sebastian Angel, ... -- Usenix 2022

"Efficient Representation of Numerical Optimization Problems for SNARKs"

Sebastian Angel, Eleftherios Ioannidis, Jess Woods, ... -- Usenix 2022