| 2026 | ACNS | Automatic Teller Machines for Offline E-cash. | Anrin Chakraborti, Qingzhao Zhang, Jingjia Peng, Morley Mao, Michael K. Reiter |
| 2025 | ACSAC | The 2FA Illusion: Uncovering Weak Links of Web Account Access in the Wild. | Ke Coby Wang, Sunpreet S. Arora, Michael K. Reiter |
| 2024 | AFT | CrudiTEE: A Stick-And-Carrot Approach to Building Trustworthy Cryptocurrency Wallets with TEEs. | Lulu Zhou, Zeyu Liu, Fan Zhang, Michael K. Reiter |
| 2024 | CCS | Random Beacons in Monte Carlo: Efficient Asynchronous Random Beacon | Akhil Bandarupalli, Adithya Bhat, Saurabh Bagchi, Aniket Kate, Michael K. Reiter |
| 2024 | CCS | A General Framework for Data-Use Auditing of ML Models. | Zonghao Huang, Neil Zhenqiang Gong, Michael K. Reiter |
| 2024 | CCS | PG: Byzantine Fault-Tolerant and Privacy-Preserving Sensor Fusion with Guaranteed Output Delivery. | Chenglu Jin, Chao Yin, Marten van Dijk, Sisi Duan, Fabio Massacci, Michael K. Reiter, Haibin Zhang |
| 2024 | CCS | Training Robust ML-based Raw-Binary Malware Detectors in Hours, not Months. | Keane Lucas, Weiran Lin, Lujo Bauer, Michael K. Reiter, Mahmood Sharif |
| 2024 | DSN | Delphi: Efficient Asynchronous Approximate Agreement for Distributed Oracles. | Akhil Bandarupalli, Adithya Bhat, Saurabh Bagchi, Aniket Kate, Chen-Da Liu-Zhang, Michael K. Reiter |
| 2024 | FORTE | Formally Verifying a Rollback-Prevention Protocol for TEEs. | Weili Wang, Jianyu Niu, Michael K. Reiter, Yinqian Zhang |
| 2024 | ICDCS | SensorBFT: Fault-Tolerant Target Localization Using Voronoi Diagrams and Approximate Agreement. | Akhil Bandarupalli, Adithya Bhat, Somali Chaterji, Michael K. Reiter, Aniket Kate, Saurabh Bagchi |
| 2024 | NDSS | Group-based Robustness: A General Framework for Customized Robustness in the Real World. | Weiran Lin, Keane Lucas, Neo Eyal, Lujo Bauer, Michael K. Reiter, Mahmood Sharif |
| 2024 | NDSS | Bernoulli Honeywords. | Ke Coby Wang, Michael K. Reiter |
| 2023 | ACSAC | Prioritizing Remediation of Enterprise Hosts by Malware Execution Risk. | Andrew Chi, Blake Anderson, Michael K. Reiter |
| 2023 | FC | The Unique Chain Rule and Its Applications. | Adithya Bhat, Akhil Bandarupalli, Saurabh Bagchi, Aniket Kate, Michael K. Reiter |
| 2023 | INFOCOM | Nimble: Fast and Safe Migration of Network Functions. | Sheng Liu, Michael K. Reiter, Theophilus A. Benson |
| 2023 | Middleware | EESMR: Energy Efficient BFT - SMR for the masses. | Adithya Bhat, Akhil Bandarupalli, Manish Nagaraj, Saurabh Bagchi, Aniket Kate, Michael K. Reiter |
| 2022 | AAAI | Coordinating Followers to Reach Better Equilibria: End-to-End Gradient Descent for Stackelberg Games. | Kai Wang, Lily Xu, Andrew Perrault, Michael K. Reiter, Milind Tambe |
| 2022 | CCS | ENGRAFT: Enclave-guarded Raft on Byzantine Faulty Nodes. | Weili Wang, Sen Deng, Jianyu Niu, Michael K. Reiter, Yinqian Zhang |
| 2022 | ICLR | Practical Integration via Separable Bijective Networks. | Christopher M. Bender, Patrick Emmanuel, Michael K. Reiter, Junier Oliva |
| 2022 | ICML | Constrained Gradient Descent: A Powerful and Principled Evasion Attack Against Neural Networks. | Weiran Lin, Keane Lucas, Lujo Bauer, Michael K. Reiter, Mahmood Sharif |
| 2022 | OPODIS | Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption. | Sravya Yandamuri, Ittai Abraham, Kartik Nayak, Michael K. Reiter |
| 2021 | AsiaCCS | Malware Makeover: Breaking ML-based Static Analysis by Modifying Executable Bytes. | Keane Lucas, Mahmood Sharif, Lujo Bauer, Michael K. Reiter, Saurabh Shintre |
| 2021 | NDSS | TASE: Reducing Latency of Symbolic Execution with Transactional Memory. | Adam Humphries, Kartik Cating-Subramanian, Michael K. Reiter |
| 2020 | ICML | Defense Through Diverse Directions. | Christopher M. Bender, Yang Li, Yifeng Shi, Michael K. Reiter, Junier Oliva |
| 2020 | SACMAT | Metering Graphical Data Leakage with Snowman. | Qiuyu Xiao, Brittany Subialdea, Lujo Bauer, Michael K. Reiter |
| 2019 | CCS | Efficient Verifiable Secret Sharing with Share Recovery in BFT Protocols. | Soumya Basu, Alin Tomescu, Ittai Abraham, Dahlia Malkhi, Michael K. Reiter, Emin Gn Sirer |
| 2019 | DSN | SBFT: A Scalable and Decentralized Trust Infrastructure. | Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu |
| 2019 | EuroSys | Efficient and Safe Network Updates with Suffix Causal Consistency. | Sheng Liu, Theophilus A. Benson, Michael K. Reiter |
| 2019 | NDSS | How to End Password Reuse on the Web. | Ke Coby Wang, Michael K. Reiter |
| 2019 | NDSS | Statistical Privacy for Streaming Traffic. | Xiaokuan Zhang, Jihun Hamm, Michael K. Reiter, Yinqian Zhang |
| 2019 | PODC | HotStuff: BFT Consensus with Linearity and Responsiveness. | Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan-Gueta, Ittai Abraham |
| 2018 | CCS | BEAT: Asynchronous BFT Made Practical. | Sisi Duan, Michael K. Reiter, Haibin Zhang |
| 2018 | CoNEXT | Intent-driven composition of resource-management SDN applications. | Victor Heorhiadi, Sanjay Chandrasekaran, Michael K. Reiter, Vyas Sekar |
| 2018 | CVPR | On the Suitability of Lp-Norms for Creating and Preventing Adversarial Examples. | Mahmood Sharif, Lujo Bauer, Michael K. Reiter |
| 2018 | INFOCOM | Differentially Private Access Patterns for Searchable Symmetric Encryption. | Guoxing Chen, Ten-Hwang Lai, Michael K. Reiter, Yinqian Zhang |
| 2018 | SP | Static Evaluation of Noninterference Using Approximate Model Counting. | Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang |
| 2017 | CCS | Detecting Privileged Side-Channel Attacks in Shielded Execution with Dj Vu. | Sanchuan Chen, Xiaokuan Zhang, Michael K. Reiter, Yinqian Zhang |
| 2017 | DSN | Secure Causal Atomic Broadcast, Revisited. | Sisi Duan, Michael K. Reiter, Haibin Zhang |
| 2017 | ESORICS | On-Demand Time Blurring to Support Side-Channel Defense. | Weijie Liu, Debin Gao, Michael K. Reiter |
| 2017 | ICDCS | Flow Reconnaissance via Timing Attacks on SDN Switches. | Sheng Liu, Michael K. Reiter, Vyas Sekar |
| 2017 | NSDI | A System to Verify Network Behavior of Known Cryptographic Clients. | Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton |
| 2016 | CCS | CCSW'16: 8th ACM Cloud Computing Security Workshop. | Elli Androulaki, Michael K. Reiter |
| 2016 | CCS | Accessorize to a Crime: Real and Stealthy Attacks on State-of-the-Art Face Recognition. | Mahmood Sharif, Sruti Bhagavatula, Lujo Bauer, Michael K. Reiter |
| 2016 | CCS | A Software Approach to Defeating Side Channels in Last-Level Caches. | Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang |
| 2016 | FC | Introducing Reputation Systems to the Economics of Outsourcing Computations to Rational Workers. | Jassim Aljuraidan, Lujo Bauer, Michael K. Reiter, Matthias Beckerle |
| 2016 | ICDCS | Gremlin: Systematic Resilience Testing of Microservices. | Victor Heorhiadi, Shriram Rajagopalan, Hani Jamjoom, Michael K. Reiter, Vyas Sekar |
| 2016 | NSDI | Simplifying Software-Defined Network Optimization Using SOL. | Victor Heorhiadi, Michael K. Reiter, Vyas Sekar |
| 2016 | SIGCSE | Education Modules for Networking, Cloud Computing, and Security in Systems Courses. | Jay Aikat, Michael K. Reiter, Kevin Jeffay |
| 2015 | CCS | Nomad: Mitigating Arbitrary Cloud Side Channels via Provider-Assisted Migration. | Soo-Jin Moon, Vyas Sekar, Michael K. Reiter |
| 2015 | CCS | Side Channels in Multi-Tenant Environments. | Michael K. Reiter |
| 2015 | CCS | Mitigating Storage Side Channels Using Statistical Privacy Mechanisms. | Qiuyu Xiao, Michael K. Reiter, Yinqian Zhang |
| 2015 | CHI | Crowdsourced Exploration of Security Configurations. | Qatrunnada Ismail, Tousif Ahmed, Apu Kapadia, Michael K. Reiter |
| 2015 | ICDCS | Replica Placement for Availability in the Worst Case. | Peng Li, Debin Gao, Michael K. Reiter |
| 2015 | SOUPS | Usability of Augmented Reality for Revealing Secret Messages to Users but Not Their Devices. | Sarah J. Andrabi, Michael K. Reiter, Cynthia Sturton |
| 2014 | CCS | An Epidemiological Study of Malware Encounters in a Large Enterprise. | Ting-Fang Yen, Victor Heorhiadi, Alina Oprea, Michael K. Reiter, Ari Juels |
| 2014 | CCS | Cross-Tenant Side-Channel Attacks in PaaS Clouds. | Yinqian Zhang, Ari Juels, Michael K. Reiter, Thomas Ristenpart |
| 2014 | FAST | Toward strong, usable access control for shared distributed data. | Michelle L. Mazurek, Yuan Liang, William Melicher, Manya Sleeper, Lujo Bauer, Gregory R. Ganger, Nitin Gupta, Michael K. Reiter |
| 2014 | ICISS | SNIPS: A Software-Defined Approach for Scaling Intrusion Prevention Systems via Offloading. | Victor Heorhiadi, Seyed Kaveh Fayaz, Michael K. Reiter, Vyas Sekar |
| 2013 | CCS | Dppel: retrofitting commodity operating systems to mitigate cache side channels in the cloud. | Yinqian Zhang, Michael K. Reiter |
| 2013 | CoNEXT | Verifiable network function outsourcing: requirements, challenges, and roadmap. | Seyed Kaveh Fayazbakhsh, Michael K. Reiter, Vyas Sekar |
| 2013 | DSN | Mitigating access-driven timing channels in clouds using StopWatch. | Peng Li, Debin Gao, Michael K. Reiter |
| 2013 | ESORICS | Ensuring File Authenticity in Private DFA Evaluation on Encrypted Files in the Cloud. | Lei Wei, Michael K. Reiter |
| 2013 | NDSS | Toward Online Verification of Client Behavior in Distributed Applications. | Robert A. Cochran, Michael K. Reiter |
| 2012 | CCS | Cross-VM side channels and their use to extract private keys. | Yinqian Zhang, Ari Juels, Michael K. Reiter, Thomas Ristenpart |
| 2012 | CHI | Tag, you can see it!: using tags for access control in photo sharing. | Peter F. Klemperer, Yuan Liang, Michelle L. Mazurek, Manya Sleeper, Blase Ur, Lujo Bauer, Lorrie Faith Cranor, Nitin Gupta, Michael K. Reiter |
| 2012 | CoNEXT | New opportunities for load balancing in network-wide intrusion detection systems. | Victor Heorhiadi, Michael K. Reiter, Vyas Sekar |
| 2012 | ESORICS | Third-Party Private DFA Evaluation on Encrypted Files in the Cloud. | Lei Wei, Michael K. Reiter |
| 2012 | FC | Efficient, Compromise Resilient and Append-Only Cryptographic Schemes for Secure Audit Logging. | Attila Altay Yavuz, Peng Ning, Michael K. Reiter |
| 2012 | NSDI | Design and Implementation of a Consolidated Middlebox Architecture. | Vyas Sekar, Norbert Egi, Sylvia Ratnasamy, Michael K. Reiter, Guangyu Shi |
| 2012 | PST | Out of sight, out of mind: Effects of displaying access-control information near the item it controls. | Kami Vaniea, Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter |
| 2011 | CCS | Bounded vector signatures and their applications. | Lei Wei, Scott E. Coull, Michael K. Reiter |
| 2011 | CHI | More than skin deep: measuring effects of the underlying model on access-control system usability. | Robert W. Reeder, Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter, Kami Vaniea |
| 2011 | DSN | Amplifying limited expert input to sanitize large network traces. | Xin Huang, Fabian Monrose, Michael K. Reiter |
| 2011 | HOTNETS | The middlebox manifesto: enabling innovation in middlebox deployment. | Vyas Sekar, Sylvia Ratnasamy, Michael K. Reiter, Norbert Egi, Guangyu Shi |
| 2011 | NDSS | Usability Testing a Malware-Resistant Input Mechanism. | Alana Libonati, Jonathan M. McCune, Michael K. Reiter |
| 2011 | SP | HomeAlone: Co-residency Detection in the Cloud via Side-Channel Analysis. | Yinqian Zhang, Ari Juels, Alina Oprea, Michael K. Reiter |
| 2010 | CCS | The security of modern password expiration: an algorithmic framework and empirical analysis. | Yinqian Zhang, Fabian Monrose, Michael K. Reiter |
| 2010 | CHI | Access control for home data sharing: evaluating social acceptability. | Michelle L. Mazurek, J. P. Arsenault, Joanna Bresee, Nitin Gupta, Iulia Ion, Christina Johns, Daniel Lee, Yuan Liang, Jenny Olsen, Brandon Salmon, Richard Shay, Kami Vaniea, Lujo Bauer, Lorrie Faith Cranor, Gregory R. Ganger, Michael K. Reiter |
| 2010 | CoNEXT | Network-wide deployment of intrusion detection and prevention systems. | Vyas Sekar, Ravishankar Krishnaswamy, Anupam Gupta, Michael K. Reiter |
| 2010 | DSN | Zzyzx: Scalable fault tolerance through Byzantine locking. | James Hendricks, Shafeeq Sinnamohideen, Gregory R. Ganger, Michael K. Reiter |
| 2010 | ICDCS | Are Your Hosts Trading or Plotting? Telling P2P File-Sharing and Bots Apart. | Ting-Fang Yen, Michael K. Reiter |
| 2010 | IMC | Revisiting the case for a minimalist approach for network flow monitoring. | Vyas Sekar, Michael K. Reiter, Hui Zhang |
| 2010 | NDSS | Server-side Verification of Client Behavior in Online Games. | Darrell Bethea, Robert A. Cochran, Michael K. Reiter |
| 2010 | RAID | On Challenges in Evaluating Malware Clustering. | Peng Li, Limin Liu, Debin Gao, Michael K. Reiter |
| 2010 | SEC | Understanding Domain Registration Abuses. | Scott E. Coull, Andrew M. White, Ting-Fang Yen, Fabian Monrose, Michael K. Reiter |
| 2009 | CCS | False data injection attacks against state estimation in electric power grids. | Yao Liu, Michael K. Reiter, Peng Ning |
| 2009 | CCS | Privacy-preserving genomic computation through program specialization. | Rui Wang, XiaoFeng Wang, Zhou Li, Haixu Tang, Michael K. Reiter, Zheng Dong |
| 2009 | CHI | Real life challenges in access-control management. | Lujo Bauer, Lorrie Faith Cranor, Robert W. Reeder, Michael K. Reiter, Kami Vaniea |
| 2009 | DIMVA | Browser Fingerprinting from Coarse Traffic Summaries: Techniques and Implications. | Ting-Fang Yen, Xin Huang, Fabian Monrose, Michael K. Reiter |
| 2009 | ESORICS | Data Structures with Unpredictable Timing. | Darrell Bethea, Michael K. Reiter |
| 2009 | ICDCS | Better Architectures and New Security Applications for Network Monitoring. | Michael K. Reiter |
| 2009 | ICISS | Making Peer-Assisted Content Distribution Robust to Collusion Using Bandwidth Puzzles. | Michael K. Reiter, Vyas Sekar, Chad Spensky, Zhenghao Zhang |
| 2009 | NDSS | Safe Passage for Passwords and Other Sensitive Data. | Jonathan M. McCune, Adrian Perrig, Michael K. Reiter |
| 2009 | RAID | Automatically Adapting a Trained Anomaly Detector to Software Patches. | Peng Li, Debin Gao, Michael K. Reiter |
| 2009 | SACMAT | xDomain: cross-border proofs of access. | Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey |
| 2009 | SRDS | When and How to Change Quorums on Wide Area Networks. | Michael G. Merideth, Florian Oprea, Michael K. Reiter |
| 2008 | ASPLOS | How low can you go?: recommendations for hardware-supported minimal TCB code execution. | Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri |
| 2008 | CCS | Towards practical biometric key generation with randomized biometric templates. | Lucas Ballard, Seny Kamara, Fabian Monrose, Michael K. Reiter |
| 2008 | CHI | A user study of policy creation in a flexible access-control system. | Lujo Bauer, Lorrie Faith Cranor, Robert W. Reeder, Michael K. Reiter, Kami Vaniea |
| 2008 | CHI | Expandable grids for visualizing and authoring computer security policies. | Robert W. Reeder, Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter, Kelli Bacon, Keisha How, Heather Strong |
| 2008 | DIMVA | Traffic Aggregation for Malware Detection. | Ting-Fang Yen, Michael K. Reiter |
| 2008 | DSN | AGIS: Towards automatic generation of infection signatures. | Zhuowei Li, XiaoFeng Wang, Zhenkai Liang, Michael K. Reiter |
| 2008 | EuroSys | Flicker: an execution infrastructure for tcb minimization. | Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Hiroshi Isozaki |
| 2008 | ICICS | BinHunt: Automatically Finding Semantic Differences in Binary Programs. | Debin Gao, Michael K. Reiter, Dawn Xiaodong Song |
| 2008 | NDSS | Taming the Devil: Techniques for Evaluating Anonymized Network Data. | Scott E. Coull, Charles V. Wright, Angelos D. Keromytis, Fabian Monrose, Michael K. Reiter |
| 2008 | NSDI | cSamp: A System for Network-Wide Flow Monitoring. | Vyas Sekar, Michael K. Reiter, Walter Willinger, Hui Zhang, Ramana Rao Kompella, David G. Andersen |
| 2008 | OPODIS | Write Markers for Probabilistic Quorum Systems. | Michael G. Merideth, Michael K. Reiter |
| 2008 | RAID | On the Limits of Payload-Oblivious Network Attack Detection. | M. Patrick Collins, Michael K. Reiter |
| 2008 | SACMAT | Detecting and resolving policy misconfigurations in access-control systems. | Lujo Bauer, Scott Garriss, Michael K. Reiter |
| 2008 | SSS | Keynote: Trustworthy Services and the Biological Analogy. | Michael K. Reiter |
| 2007 | DSN | Minimizing Response Time for Quorum-System Protocols over Wide-Area Networks. | Florian Oprea, Michael K. Reiter |
| 2007 | ESORICS | Efficient Proving for Practical Distributed Access-Control Systems. | Lujo Bauer, Scott Garriss, Michael K. Reiter |
| 2007 | ESORICS | Trustworthy Services and the Biological Analogy. | Michael K. Reiter |
| 2007 | NDSS | Consumable Credentials in Linear-Logic-Based Access-Control Systems. | Kevin D. Bowers, Lujo Bauer, Deepak Garg, Frank Pfenning, Michael K. Reiter |
| 2007 | NDSS | Playing Devil's Advocate: Inferring Sensitive Information from Anonymized Network Traces. | Scott E. Coull, Charles V. Wright, Fabian Monrose, Michael P. Collins, Michael K. Reiter |
| 2007 | PODC | Verifying distributed erasure-coded data. | James Hendricks, Gregory R. Ganger, Michael K. Reiter |
| 2007 | RAID | Hit-List Worm Detection and Bot Identification in Large Networks Using Protocol Graphs. | M. Patrick Collins, Michael K. Reiter |
| 2007 | SP | Minimal TCB Code Execution. | Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri |
| 2007 | SOSP | Low-overhead byzantine fault-tolerant storage. | James Hendricks, Gregory R. Ganger, Michael K. Reiter |
| 2007 | SOUPS | Lessons learned from the deployment of a smartphone-based access-control system. | Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter, Kami Vaniea |
| 2006 | ACSAC | Protecting Privacy in Key-Value Search Systems. | Yinglian Xie, Michael K. Reiter, David R. O'Hallaron |
| 2006 | CCS | Packet vaccine: black-box exploit detection and signature generation. | XiaoFeng Wang, Zhuowei Li, Jun Xu, Michael K. Reiter, Chongkyung Kil, Jong Youl Choi |
| 2006 | DSN | A Multi-Resolution Approach for Worm Detection and Containment. | Vyas Sekar, Yinglian Xie, Michael K. Reiter, Hui Zhang |
| 2006 | ESORICS | Finding Peer-to-Peer File-Sharing Using Coarse Network Behaviors. | Michael P. Collins, Michael K. Reiter |
| 2006 | ESORICS | A Linear Logic of Authorization and Knowledge. | Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter |
| 2006 | ICDCS | M2: Multicasting Mixes for Efficient and Anonymous Communication. | Ginger Perng, Michael K. Reiter, Chenxi Wang |
| 2006 | ICNP | Forensic Analysis for Epidemic Attacks in Federated Networks. | Yinglian Xie, Vyas Sekar, Michael K. Reiter, Hui Zhang |
| 2006 | PODC | Quorum placement in networks: minimizing network congestion. | Daniel Golovin, Anupam Gupta, Bruce M. Maggs, Florian Oprea, Michael K. Reiter |
| 2006 | RAID | Behavioral Distance Measurement Using Hidden Markov Models. | Debin Gao, Michael K. Reiter, Dawn Xiaodong Song |
| 2006 | USENIX | Bump in the Ether: A Framework for Securing Sensitive User Input. | Jonathan M. McCune, Adrian Perrig, Michael K. Reiter |
| 2006 | SRDS | WRAPS: Denial-of-Service Defense through Web Referrals. | XiaoFeng Wang, Michael K. Reiter |
| 2005 | ACNS | Building Reliable Mix Networks with Fair Exchange. | Michael K. Reiter, XiaoFeng Wang, Matthew K. Wright |
| 2005 | NDSS | Space-Efficient Block Storage Integrity. | Alina Oprea, Michael K. Reiter |
| 2005 | PODC | Quorum placement in networks to minimize access delays. | Anupam Gupta, Bruce M. Maggs, Florian Oprea, Michael K. Reiter |
| 2005 | RAID | Behavioral Distance for Intrusion Detection. | Debin Gao, Michael K. Reiter, Dawn Xiaodong Song |
| 2005 | SP | Distributed Proving in Access-Control Systems. | Lujo Bauer, Scott Garriss, Michael K. Reiter |
| 2005 | SP | Seeing-Is-Believing: Using Camera Phones for Human-Verifiable Authentication. | Jonathan M. McCune, Adrian Perrig, Michael K. Reiter |
| 2005 | SP | Detection of Denial-of-Message Attacks on Sensor Network Broadcasts. | Jonathan M. McCune, Elaine Shi, Adrian Perrig, Michael K. Reiter |
| 2005 | SP | Worm Origin Identification Using Random Moonwalks. | Yinglian Xie, Vyas Sekar, David A. Maltz, Michael K. Reiter, Hui Zhang |
| 2005 | SOSP | Fault-scalable Byzantine fault-tolerant services. | Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie |
| 2005 | SRDS | Lazy Verification in Fault-Tolerant Distributed Storage Systems. | Michael Abd-El-Malek, Gregory R. Ganger, Michael K. Reiter, Jay J. Wylie, Garth R. Goodson |
| 2005 | SRDS | Distributed Construction of a Fault-Tolerant Network from a Tree. | Michael K. Reiter, Asad Samar, Chenxi Wang |
| 2004 | ACNS | Private Keyword-Based Push and Pull with Applications to Anonymous Communication. | Lea Kissner, Alina Oprea, Michael K. Reiter, Dawn Xiaodong Song, Ke Yang |
| 2004 | CCS | Gray-box extraction of execution graphs for anomaly detection. | Debin Gao, Michael K. Reiter, Dawn Xiaodong Song |
| 2004 | CCS | Fragile mixing. | Michael K. Reiter, XiaoFeng Wang |
| 2004 | CCS | Mitigating bandwidth-exhaustion attacks using congestion puzzles. | XiaoFeng Wang, Michael K. Reiter |
| 2004 | DSN | Efficient Byzantine-Tolerant Erasure-Coded Storage. | Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter |
| 2004 | FC | Timing Attacks in Low-Latency Mix Systems (Extended Abstract). | Brian Neil Levine, Michael K. Reiter, Chenxi Wang, Matthew K. Wright |
| 2004 | ICICS | Time-Scoped Searching of Encrypted Audit Logs. | Darren Davis, Fabian Monrose, Michael K. Reiter |
| 2004 | ICISC | Security by, and for, Converged Mobile Devices. | Michael K. Reiter |
| 2004 | RAID | Seurat: A Pointillist Approach to Anomaly Detection. | Yinglian Xie, Hyang-Ah Kim, David R. O'Hallaron, Michael K. Reiter, Hui Zhang |
| 2004 | SP | An Empirical Analysis of Target-Resident DoS Filters. | Michael P. Collins, Michael K. Reiter |
| 2004 | SRDS | Nested Objects in a Byzantine Quorum-Replicated System. | Charles P. Fry, Michael K. Reiter |
| 2004 | TCC | Alternatives to Non-malleability: Definitions, Constructions, and Applications (Extended Abstract). | Philip D. MacKenzie, Michael K. Reiter, Ke Yang |
| 2003 | CCS | Automatic generation of two-party computations. | Philip D. MacKenzie, Alina Oprea, Michael K. Reiter |
| 2003 | SP | Defending Against Denial-of-Service Attacks with Puzzle Auction. | XiaoFeng Wang, Michael K. Reiter |
| 2003 | SRDS | The Design and Implementation of a JCA-Compliant Capture Protection Infrastructure. | Michael K. Reiter, Asad Samar, Chenxi Wang |
| 2002 | HPDC | A Secure Distributed Search System. | Yinglian Xie, David R. O'Hallaron, Michael K. Reiter |
| 2001 | CCS | Discouraging Software Piracy Using Software Aging. | Markus Jakobsson, Michael K. Reiter |
| 2001 | CCS | Delegation of cryptographic servers for capture-resilient devices. | Philip D. MacKenzie, Michael K. Reiter |
| 2001 | CRYPTO | Two-Party Generation of DSA Signatures. | Philip D. MacKenzie, Michael K. Reiter |
| 2001 | ICDCS | Backoff Protocols for Distributed Mutual Exclusion and Ordering. | Gregory V. Chockler, Dahlia Malkhi, Michael K. Reiter |
| 2001 | PODC | Selective private function evaluation with applications to private statistics. | Ran Canetti, Yuval Ishai, Ravi Kumar, Michael K. Reiter, Ronitt Rubinfeld, Rebecca N. Wright |
| 2001 | SP | Networked Cryptographic Devices Resilient to Capture. | Philip D. MacKenzie, Michael K. Reiter |
| 2001 | SP | Cryptographic Key Generation from Voice. | Fabian Monrose, Michael K. Reiter, Qi Li, Susanne Wetzel |
| 2001 | SRDS | Efficient Update Diffusion in Byzantine Environments. | Dahlia Malkhi, Ohad Rodeh, Michael K. Reiter, Yaron Sella |
| 2000 | CCS | Which PKI (public key infrastructure) is the right one? (panel session). | Carlisle M. Adams, Mike Burmester, Yvo Desmedt, Michael K. Reiter, Philip R. Zimmermann |
| 2000 | DSN | Dynamic Byzantine Quorum Systems. | Lorenzo Alvisi, Evelyn Tumlin Pierce, Dahlia Malkhi, Michael K. Reiter, Rebecca N. Wright |
| 1999 | CCS | Password Hardening Based on Keystroke Dynamics. | Fabian Monrose, Michael K. Reiter, Susanne Wetzel |
| 1999 | PODC | On | Roberto De Prisco, Dahlia Malkhi, Michael K. Reiter |
| 1999 | SRDS | On Diffusing Updates in a Byzantine Environment. | Dahlia Malkhi, Yishay Mansour, Michael K. Reiter |
| 1998 | PODC | Probabilistic Byzantine Quorum Systems. | Dahlia Malkhi, Michael K. Reiter, Avishai Wool, Rebecca N. Wright |
| 1998 | SP | Secure Execution of Java Applets using a Remote Playground. | Dahlia Malkhi, Michael K. Reiter, Aviel D. Rubin |
| 1998 | SRDS | Secure and Scalable Replication in Phalanx. | Dahlia Malkhi, Michael K. Reiter |
| 1998 | SRDS | Survivable Consensus Objects. | Dahlia Malkhi, Michael K. Reiter |
| 1997 | CCS | Fair Exchange with a Semi-Trusted Third Party (extended abstract). | Matthew K. Franklin, Michael K. Reiter |
| 1997 | CCS | Path Independence for Authentication in Large-Scale Systems. | Michael K. Reiter, Stuart G. Stubblebine |
| 1997 | PODC | The Load and Availability of Byzantine Quorum Systems. | Dahlia Malkhi, Michael K. Reiter, Avishai Wool |
| 1997 | PODC | Probabilistic Quorum Systems. | Dahlia Malkhi, Michael K. Reiter, Rebecca N. Wright |
| 1997 | STOC | Byzantine Quorum Systems. | Dahlia Malkhi, Michael K. Reiter |
| 1997 | SP | Toward Acceptable Metrics of Authentication. | Michael K. Reiter, Stuart G. Stubblebine |
| 1996 | CCS | The Omega Key Management Service. | Michael K. Reiter, Matthew K. Franklin, John B. Lacy, Rebecca N. Wright |
| 1996 | EuroCrypt | Low-Exponent RSA with Related Messages. | Don Coppersmith, Matthew K. Franklin, Jacques Patarin, Michael K. Reiter |
| 1995 | EuroCrypt | Verifiable Signature Sharing. | Matthew K. Franklin, Michael K. Reiter |
| 1995 | SP | The design and implementation of a secure auction service. | Matthew K. Franklin, Michael K. Reiter |
| 1994 | CCS | Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart. | Michael K. Reiter |
| 1994 | SP | A secure group membership protocol. | Michael K. Reiter |
| 1993 | SP | Preventing denial and forgery of causal relationships in distributed systems. | Michael K. Reiter, Li Gong |
| 1992 | SP | Integrating security in a group oriented distributed system. | Michael K. Reiter, Kenneth P. Birman, Li Gong |