Integrating security in a group oriented distributed system. - Michael K. Reiter; Kenneth P. Birman; Li Gong (S&P, 1992)

Integrating Security in a Group Oriented Distributed System (Abstract). - Michael K. Reiter (ACM SIGOPS Oper. Syst. Rev., 1992)

Preventing denial and forgery of causal relationships in distributed systems. - Michael K. Reiter; Li Gong (S&P, 1993)

A Security Architecture for Fault-Tolerant Systems. - Michael K. Reiter (1993)

Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart. - Michael K. Reiter (CCS, 1994)

The Rampart Toolkit for Building High-Integrity Services. - Michael K. Reiter (Dagstuhl Seminar on Distributed Systems, 1994)

A Security Architecture for Fault-Toerant Systems. - Michael K. Reiter; Kenneth P. Birman; Robbert van Renesse (ACM Trans. Comput. Syst., 1994)

How to Securely Replicate Services. - Michael K. Reiter; Kenneth P. Birman (ACM Trans. Program. Lang. Syst., 1994)

Verifiable Signature Sharing. - Matthew K. Franklin; Michael K. Reiter (EUROCRYPT, 1995)

Securing Causal Relationships in Distributed Systems. - Michael K. Reiter; Li Gong (Comput. J., 1995)

Low-Exponent RSA with Related Messages. - Don Coppersmith; Matthew K. Franklin; Jacques Patarin; Michael K. Reiter (EUROCRYPT, 1996)

Distributed Trust with the Rampart Toolkit. - Michael K. Reiter (Commun. ACM, 1996)

The Omega Key Management Service. - Michael K. Reiter; Matthew K. Franklin; John B. Lacy; Rebecca N. Wright (J. Comput. Secur., 1996)

The Design and Implementation of a Secure Auction Service. - Matthew K. Franklin; Michael K. Reiter (IEEE Trans. Software Eng., 1996)

A Secure Group Membership Protocol. - Michael K. Reiter (IEEE Trans. Software Eng., 1996)

Fair Exchange with a Semi-Trusted Third Party (extended abstract). - Matthew K. Franklin; Michael K. Reiter (CCS, 1997)

Path Independence for Authentication in Large-Scale Systems. - Michael K. Reiter; Stuart G. Stubblebine (CCS, 1997)

Unreliable Intrusion Detection in Distributed Computations. - Dahlia Malkhi; Michael K. Reiter (CSFW, 1997)

Probabilistic Quorum Systems. - Dahlia Malkhi; Michael K. Reiter; Rebecca N. Wright (PODC, 1997)

Toward Acceptable Metrics of Authentication. - Michael K. Reiter; Stuart G. Stubblebine (S&P, 1997)

A High-Throughput Secure Reliable Multicast Protocol. - Dahlia Malkhi; Michael K. Reiter (J. Comput. Secur., 1997)

Probabilistic Byzantine Quorum Systems. - Dahlia Malkhi; Michael K. Reiter; Avishai Wool; Rebecca N. Wright (PODC, 1998)

Secure Execution of Java Applets using a Remote Playground. - Dahlia Malkhi; Michael K. Reiter; Aviel D. Rubin (S&P, 1998)

Secure and Scalable Replication in Phalanx. - Dahlia Malkhi; Michael K. Reiter (SRDS, 1998)

Survivable Consensus Objects. - Dahlia Malkhi; Michael K. Reiter (SRDS, 1998)

Detecting Hit Shaving in Click-Through Payment Schemes. - Michael K. Reiter; Vinod Anupam; Alain J. Mayer (USENIX Workshop on Electronic Commerce, 1998)

Byzantine Quorum Systems. - Dahlia Malkhi; Michael K. Reiter (Distributed Comput., 1998)

Resilient Authentication Using Path Independence. - Michael K. Reiter; Stuart G. Stubblebine (IEEE Trans. Computers, 1998)

Crowds: Anonymity for Web Transactions. - Michael K. Reiter; Aviel D. Rubin (ACM Trans. Inf. Syst. Secur., 1998)

On k-Set Consensus Problems in Asynchronous Systems. - Roberto De Prisco; Dahlia Malkhi; Michael K. Reiter (PODC, 1999)

On Diffusing Updates in a Byzantine Environment. - Dahlia Malkhi; Yishay Mansour; Michael K. Reiter (SRDS, 1999)

The Design and Analysis of Graphical Passwords. - Ian Jermyn; Alain J. Mayer; Fabian Monrose; Michael K. Reiter; Aviel D. Rubin (USENIX Security Symposium, 1999)

Anonymous Web Transactions with Crowds. - Michael K. Reiter; Aviel D. Rubin (Commun. ACM, 1999)

On the Security of Pay-per-Click and Other Web Advertising Schemes. - Vinod Anupam; Alain J. Mayer; Kobbi Nissim; Benny Pinkas; Michael K. Reiter (Comput. Networks, 1999)

On Propagating Updates in a Byzantine Environment - Dahlia Malkhi; Yishay Mansour; Michael K. Reiter (CoRR, 1999)

High-Confidence Distributed Systems - Guest Editor's Introduction. - Michael K. Reiter (IEEE Internet Comput., 1999)

Authentication Metric Analysis and Design. - Michael K. Reiter; Stuart G. Stubblebine (ACM Trans. Inf. Syst. Secur., 1999)

Which PKI (public key infrastructure) is the right one? (panel session). - Carlisle M. Adams; Mike Burmester; Yvo Desmedt; Michael K. Reiter; Philip R. Zimmermann (CCS, 2000)

Dynamic Byzantine Quorum Systems. - Lorenzo Alvisi; Evelyn Tumlin Pierce; Dahlia Malkhi; Michael K. Reiter; Rebecca N. Wright (DSN, 2000)

Privacy-preserving global customization. - Robert M. Arlein; Ben Jai; Markus Jakobsson; Fabian Monrose; Michael K. Reiter (EC, 2000)

The Load and Availability of Byzantine Quorum Systems. - Dahlia Malkhi; Michael K. Reiter; Avishai Wool (SIAM J. Comput., 2000)

An Architecture for Survivable Coordination in Large Distributed Systems. - Dahlia Malkhi; Michael K. Reiter (IEEE Trans. Knowl. Data Eng., 2000)

Secure Execution of Java Applets Using a Remote Playground. - Dahlia Malkhi; Michael K. Reiter (IEEE Trans. Software Eng., 2000)

Discouraging Software Piracy Using Software Aging. - Markus Jakobsson; Michael K. Reiter (Digital Rights Management Workshop, 2001)

Backoff Protocols for Distributed Mutual Exclusion and Ordering. - Gregory V. Chockler; Dahlia Malkhi; Michael K. Reiter (ICDCS, 2001)

Using voice to generate cryptographic keys. - Fabian Monrose; Michael K. Reiter; Qi Li; Susanne Wetzel (Odyssey, 2001)

Selective private function evaluation with applications to private statistics. - Ran Canetti; Yuval Ishai; Ravi Kumar 001; Michael K. Reiter; Ronitt Rubinfeld; Rebecca N. Wright (PODC, 2001)

Cryptographic Key Generation from Voice. - Fabian Monrose; Michael K. Reiter; Qi Li; Susanne Wetzel (S&P, 2001)

Efficient Update Diffusion in Byzantine Environments. - Dahlia Malkhi; Ohad Rodeh; Michael K. Reiter; Yaron Sella (SRDS, 2001)

Probabilistic Quorum Systems. - Dahlia Malkhi; Michael K. Reiter; Avishai Wool; Rebecca N. Wright (Inf. Comput., 2001)

An authorization model for a public key management service. - Pierangela Samarati; Michael K. Reiter; Sushil Jajodia (ACM Trans. Inf. Syst. Secur., 2001)

Fault Detection for Byzantine Quorum Systems. - Lorenzo Alvisi; Dahlia Malkhi; Evelyn Tumlin Pierce; Michael K. Reiter (IEEE Trans. Parallel Distributed Syst., 2001)

On k-Set Consensus Problems in Asynchronous Systems. - Roberto De Prisco; Dahlia Malkhi; Michael K. Reiter (IEEE Trans. Parallel Distributed Syst., 2001)

A Secure Distributed Search System. - Yinglian Xie; David R. O'Hallaron; Michael K. Reiter (HPDC, 2002)

Toward Speech-Generated Cryptographic Keys on Resource-Constrained Devices. - Fabian Monrose; Michael K. Reiter; Qi Li; Daniel P. Lopresti; Chilin Shih (USENIX Security Symposium, 2002)

Advanced concurrency control in Java. - Pascal Felber; Michael K. Reiter (Concurr. Comput. Pract. Exp., 2002)

Password hardening based on keystroke dynamics. - Fabian Monrose; Michael K. Reiter; Susanne Wetzel (Int. J. Inf. Sec., 2002)

Automatic generation of two-party computations. - Philip D. MacKenzie; Alina Oprea; Michael K. Reiter (CCS, 2003)

Defending Against Denial-of-Service Attacks with Puzzle Auction. - XiaoFeng Wang 001; Michael K. Reiter (S&P, 2003)

The Design and Implementation of a JCA-Compliant Capture Protection Infrastructure. - Michael K. Reiter; Asad Samar; Chenxi Wang (SRDS, 2003)

Delegation of cryptographic servers for capture-resilient devices. - Philip D. MacKenzie; Michael K. Reiter (Distributed Comput., 2003)

Objects shared by Byzantine processes. - Dahlia Malkhi; Michael Merritt; Michael K. Reiter; Gadi Taubenfeld (Distributed Comput., 2003)

Networked cryptographic devices resilient to capture. - Philip D. MacKenzie; Michael K. Reiter (Int. J. Inf. Sec., 2003)

Diffusion without false rumors: on propagating updates in a Byzantine environment. - Dahlia Malkhi; Yishay Mansour; Michael K. Reiter (Theor. Comput. Sci., 2003)

Private Keyword-Based Push and Pull with Applications to Anonymous Communication. - Lea Kissner; Alina Oprea; Michael K. Reiter; Dawn Xiaodong Song; Ke Yang 005 (ACNS, 2004)

Gray-box extraction of execution graphs for anomaly detection. - Debin Gao; Michael K. Reiter; Dawn Xiaodong Song (CCS, 2004)

Fragile mixing. - Michael K. Reiter; XiaoFeng Wang 001 (CCS, 2004)

Mitigating bandwidth-exhaustion attacks using congestion puzzles. - XiaoFeng Wang 001; Michael K. Reiter (CCS, 2004)

Efficient Byzantine-Tolerant Erasure-Coded Storage. - Garth R. Goodson; Jay J. Wylie; Gregory R. Ganger; Michael K. Reiter (DSN, 2004)

Timing Attacks in Low-Latency Mix Systems (Extended Abstract). - Brian Neil Levine; Michael K. Reiter; Chenxi Wang; Matthew K. Wright (Financial Cryptography, 2004)

Time-Scoped Searching of Encrypted Audit Logs. - Darren Davis; Fabian Monrose; Michael K. Reiter (ICICS, 2004)

Security by, and for, Converged Mobile Devices. - Michael K. Reiter (ICISC, 2004)

Seurat: A Pointillist Approach to Anomaly Detection. - Yinglian Xie; Hyang-Ah Kim; David R. O'Hallaron; Michael K. Reiter; Hui Zhang 001 (RAID, 2004)

An Empirical Analysis of Target-Resident DoS Filters. - Michael P. Collins; Michael K. Reiter (S&P, 2004)

Nested Objects in a Byzantine Quorum-Replicated System. - Charles P. Fry; Michael K. Reiter (SRDS, 2004)

Alternatives to Non-malleability: Definitions, Constructions, and Applications (Extended Abstract). - Philip D. MacKenzie; Michael K. Reiter; Ke Yang 005 (TCC, 2004)

On User Choice in Graphical Password Schemes. - Darren Davis; Fabian Monrose; Michael K. Reiter (USENIX Security Symposium, 2004)

On Gray-Box Program Tracking for Anomaly Detection. - Debin Gao; Michael K. Reiter; Dawn Xiaodong Song (USENIX Security Symposium, 2004)

Two-party generation of DSA signatures. - Philip D. MacKenzie; Michael K. Reiter (Int. J. Inf. Sec., 2004)

Homeland Security. - Michael K. Reiter; Pankaj Rohatgi (IEEE Internet Comput., 2004)

Building Reliable Mix Networks with Fair Exchange. - Michael K. Reiter; XiaoFeng Wang 001; Matthew K. Wright (ACNS, 2005)

Censorship Resistance Revisited. - Ginger Perng; Michael K. Reiter; Chenxi Wang (Information Hiding, 2005)

Device-Enabled Authorization in the Grey-System. - Lujo Bauer; Scott Garriss; Jonathan M. McCune; Michael K. Reiter; Jason Rouse; Peter Rutenbar (ISC, 2005)

Space-Efficient Block Storage Integrity. - Alina Oprea; Michael K. Reiter (NDSS, 2005)

Quorum placement in networks to minimize access delays. - Anupam Gupta 001; Bruce M. Maggs; Florian Oprea; Michael K. Reiter (PODC, 2005)

Behavioral Distance for Intrusion Detection. - Debin Gao; Michael K. Reiter; Dawn Xiaodong Song (RAID, 2005)

Fault-scalable Byzantine fault-tolerant services. - Michael Abd-El-Malek; Gregory R. Ganger; Garth R. Goodson; Michael K. Reiter; Jay J. Wylie (SOSP, 2005)

Distributed Proving in Access-Control Systems. - Lujo Bauer; Scott Garriss; Michael K. Reiter (S&P, 2005)

Detection of Denial-of-Message Attacks on Sensor Network Broadcasts. - Jonathan M. McCune; Elaine Shi; Adrian Perrig; Michael K. Reiter (S&P, 2005)

Worm Origin Identification Using Random Moonwalks. - Yinglian Xie; Vyas Sekar; David A. Maltz; Michael K. Reiter; Hui Zhang 001 (S&P, 2005)

Lazy Verification in Fault-Tolerant Distributed Storage Systems. - Michael Abd-El-Malek; Gregory R. Ganger; Michael K. Reiter; Jay J. Wylie; Garth R. Goodson (SRDS, 2005)

Distributed Construction of a Fault-Tolerant Network from a Tree. - Michael K. Reiter; Asad Samar; Chenxi Wang (SRDS, 2005)

Protecting Privacy in Key-Value Search Systems. - Yinglian Xie; Michael K. Reiter; David R. O'Hallaron (ACSAC, 2006)

Packet vaccine: black-box exploit detection and signature generation. - XiaoFeng Wang 001; Zhuowei Li 001; Jun Xu 003; Michael K. Reiter; Chongkyung Kil; Jong Youl Choi (CCS, 2006)

Towards bounded wait-free PASIS. - Michael Abd-El-Malek; Gregory R. Ganger; Garth R. Goodson; Michael K. Reiter; Jay J. Wylie (From Security to Dependability, 2006)

A Multi-Resolution Approach for Worm Detection and Containment. - Vyas Sekar; Yinglian Xie; Michael K. Reiter; Hui Zhang 001 (DSN, 2006)

Finding Peer-to-Peer File-Sharing Using Coarse Network Behaviors. - Michael P. Collins; Michael K. Reiter (ESORICS, 2006)

A Linear Logic of Authorization and Knowledge. - Deepak Garg 001; Lujo Bauer; Kevin D. Bowers; Frank Pfenning; Michael K. Reiter (ESORICS, 2006)

M2: Multicasting Mixes for Efficient and Anonymous Communication. - Ginger Perng; Michael K. Reiter; Chenxi Wang (ICDCS, 2006)

Forensic Analysis for Epidemic Attacks in Federated Networks. - Yinglian Xie; Vyas Sekar; Michael K. Reiter; Hui Zhang 001 (ICNP, 2006)

Quorum placement in networks: minimizing network congestion. - Daniel Golovin; Anupam Gupta 001; Bruce M. Maggs; Florian Oprea; Michael K. Reiter (PODC, 2006)

Behavioral Distance Measurement Using Hidden Markov Models. - Debin Gao; Michael K. Reiter; Dawn Xiaodong Song (RAID, 2006)

WRAPS: Denial-of-Service Defense through Web Referrals. - XiaoFeng Wang 001; Michael K. Reiter (SRDS, 2006)

Bump in the Ether: A Framework for Securing Sensitive User Input. - Jonathan M. McCune; Adrian Perrig; Michael K. Reiter (USENIX ATC, General Track, 2006)

On Consistency of Encrypted Files. - Alina Oprea; Michael K. Reiter (DISC, 2006)

Minimizing Response Time for Quorum-System Protocols over Wide-Area Networks. - Florian Oprea; Michael K. Reiter (DSN, 2007)

Efficient Proving for Practical Distributed Access-Control Systems. - Lujo Bauer; Scott Garriss; Michael K. Reiter (ESORICS, 2007)

Trustworthy Services and the Biological Analogy. - Michael K. Reiter (ESORICS, 2007)

Consumable Credentials in Linear-Logic-Based Access-Control Systems. - Kevin D. Bowers; Lujo Bauer; Deepak Garg 001; Frank Pfenning; Michael K. Reiter (NDSS, 2007)

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 (NDSS, 2007)

Verifying distributed erasure-coded data. - James Hendricks; Gregory R. Ganger; Michael K. Reiter (PODC, 2007)

Hit-List Worm Detection and Bot Identification in Large Networks Using Protocol Graphs. - M. Patrick Collins; Michael K. Reiter (RAID, 2007)

Low-overhead byzantine fault-tolerant storage. - James Hendricks; Gregory R. Ganger; Michael K. Reiter (SOSP, 2007)

Lessons learned from the deployment of a smartphone-based access-control system. - Lujo Bauer; Lorrie Faith Cranor; Michael K. Reiter; Kami Vaniea (SOUPS, 2007)

Minimal TCB Code Execution. - Jonathan M. McCune; Bryan Parno; Adrian Perrig; Michael K. Reiter; Arvind Seshadri (S&P, 2007)

On Web Browsing Privacy in Anonymized NetFlows. - Scott E. Coull; Michael P. Collins; Charles V. Wright; Fabian Monrose; Michael K. Reiter (USENIX Security Symposium, 2007)

Integrity Checking in Cryptographic File Systems with Constant Trusted Storage. - Alina Oprea; Michael K. Reiter (USENIX Security Symposium, 2007)

Probabilistic Opaque Quorum Systems. - Michael G. Merideth; Michael K. Reiter (DISC, 2007)

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 (ASPLOS, 2008)

Towards practical biometric key generation with randomized biometric templates. - Lucas Ballard; Seny Kamara; Fabian Monrose; Michael K. Reiter (CCS, 2008)

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 (CHI, 2008)

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 (CHI, 2008)

Traffic Aggregation for Malware Detection. - Ting-Fang Yen; Michael K. Reiter (DIMVA, 2008)

AGIS: Towards automatic generation of infection signatures. - Zhuowei Li 001; XiaoFeng Wang 001; Zhenkai Liang; Michael K. Reiter (DSN, 2008)

Flicker: an execution infrastructure for tcb minimization. - Jonathan M. McCune; Bryan Parno; Adrian Perrig; Michael K. Reiter; Hiroshi Isozaki (EuroSys, 2008)

BinHunt: Automatically Finding Semantic Differences in Binary Programs. - Debin Gao; Michael K. Reiter; Dawn Xiaodong Song (ICICS, 2008)

Self-optimizing distributed trees. - Michael K. Reiter; Asad Samar; Chenxi Wang (IPDPS, 2008)

Taming the Devil: Techniques for Evaluating Anonymized Network Data. - Scott E. Coull; Charles V. Wright; Angelos D. Keromytis; Fabian Monrose; Michael K. Reiter (NDSS, 2008)

cSamp: A System for Network-Wide Flow Monitoring. - Vyas Sekar; Michael K. Reiter; Walter Willinger; Hui Zhang 001; Ramana Rao Kompella; David G. Andersen (NSDI, 2008)

Write Markers for Probabilistic Quorum Systems. - Michael G. Merideth; Michael K. Reiter (OPODIS, 2008)

On the Limits of Payload-Oblivious Network Attack Detection. - M. Patrick Collins; Michael K. Reiter (RAID, 2008)

Keynote: Trustworthy Services and the Biological Analogy. - Michael K. Reiter (SSS, 2008)

The Practical Subtleties of Biometric Key Generation. - Lucas Ballard; Seny Kamara; Michael K. Reiter (USENIX Security Symposium, 2008)

A multi-layer framework for puzzle-based denial-of-service defense. - XiaoFeng Wang 001; Michael K. Reiter (Int. J. Inf. Sec., 2008)

Fast and Black-box Exploit Detection and Signature Generation for Commodity Software. - XiaoFeng Wang 001; Zhuowei Li 001; Jong Youl Choi; Jun Xu 003; Michael K. Reiter; Chongkyung Kil (ACM Trans. Inf. Syst. Secur., 2008)

Quiver: Consistent and Scalable Object Sharing for Edge Services. - Michael K. Reiter; Asad Samar (IEEE Trans. Parallel Distributed Syst., 2008)

Privacy-preserving genomic computation through program specialization. - Rui Wang 010; XiaoFeng Wang 001; Zhou Li 001; Haixu Tang; Michael K. Reiter; Zheng Dong (CCS, 2009)

Real life challenges in access-control management. - Lujo Bauer; Lorrie Faith Cranor; Robert W. Reeder; Michael K. Reiter; Kami Vaniea (CHI, 2009)

Browser Fingerprinting from Coarse Traffic Summaries: Techniques and Implications. - Ting-Fang Yen; Xin Huang; Fabian Monrose; Michael K. Reiter (DIMVA, 2009)

Data Structures with Unpredictable Timing. - Darrell Bethea; Michael K. Reiter (ESORICS, 2009)

Better Architectures and New Security Applications for Network Monitoring. - Michael K. Reiter (ICDCS, 2009)

Making Peer-Assisted Content Distribution Robust to Collusion Using Bandwidth Puzzles. - Michael K. Reiter; Vyas Sekar; Chad Spensky; Zhenghao Zhang (ICISS, 2009)

Safe Passage for Passwords and Other Sensitive Data. - Jonathan M. McCune; Adrian Perrig; Michael K. Reiter (NDSS, 2009)

Automatically Adapting a Trained Anomaly Detector to Software Patches. - Peng Li 059; Debin Gao; Michael K. Reiter (RAID, 2009)

xDomain: cross-border proofs of access. - Lujo Bauer; Limin Jia 001; Michael K. Reiter; David Swasey (SACMAT, 2009)

When and How to Change Quorums on Wide Area Networks. - Michael G. Merideth; Florian Oprea; Michael K. Reiter (SRDS, 2009)

Seeing-Is-Believing: using camera phones for human-verifiable authentication. - Jonathan M. McCune; Adrian Perrig; Michael K. Reiter (Int. J. Secur. Networks, 2009)

Beyond Output Voting: Detecting Compromised Replicas Using HMM-Based Behavioral Distance. - Debin Gao; Michael K. Reiter; Dawn Xiaodong Song (IEEE Trans. Dependable Secur. Comput., 2009)

The security of modern password expiration: an algorithmic framework and empirical analysis. - Yinqian Zhang; Fabian Monrose; Michael K. Reiter (CCS, 2010)

Access control for home data sharing: evaluating social acceptability. - Michelle L. Mazurek; J. P. Arsenault; Joanna Bresee; Nitin Gupta 001; Iulia Ion; Christina Johns; Daniel Lee; Yuan Liang; Jenny Olsen; Brandon Salmon; Richard Shay; Kami Vaniea; et al. (CHI, 2010)

Network-wide deployment of intrusion detection and prevention systems. - Vyas Sekar; Ravishankar Krishnaswamy; Anupam Gupta 001; Michael K. Reiter (CoNEXT, 2010)

Zzyzx: Scalable fault tolerance through Byzantine locking. - James Hendricks; Shafeeq Sinnamohideen; Gregory R. Ganger; Michael K. Reiter (DSN, 2010)

Are Your Hosts Trading or Plotting? Telling P2P File-Sharing and Bots Apart. - Ting-Fang Yen; Michael K. Reiter (ICDCS, 2010)

Revisiting the case for a minimalist approach for network flow monitoring. - Vyas Sekar; Michael K. Reiter; Hui Zhang 001 (Internet Measurement Conference, 2010)

Summary-Invisible Networking: Techniques and Defenses. - Lei Wei 004; Michael K. Reiter; Ketan Mayer-Patel (ISC, 2010)

On Challenges in Evaluating Malware Clustering. - Peng Li 059; Limin Liu; Debin Gao; Michael K. Reiter (RAID, 2010)

Selected Results from the Latest Decade of Quorum Systems Research. - Michael G. Merideth; Michael K. Reiter (Replication, 2010)

Using Web-Referral Architectures to Mitigate Denial-of-Service Threats. - XiaoFeng Wang 001; Michael K. Reiter (IEEE Trans. Dependable Secur. Comput., 2010)

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 (CHI, 2011)

Amplifying limited expert input to sanitize large network traces. - Xin Huang; Fabian Monrose; Michael K. Reiter (DSN, 2011)

The middlebox manifesto: enabling innovation in middlebox deployment. - Vyas Sekar; Sylvia Ratnasamy; Michael K. Reiter; Norbert Egi; Guangyu Shi (HotNets, 2011)

Usability Testing a Malware-Resistant Input Mechanism. - Alana Libonati; Jonathan M. McCune; Michael K. Reiter (NDSS, 2011)

HomeAlone: Co-residency Detection in the Cloud via Side-Channel Analysis. - Yinqian Zhang; Ari Juels; Alina Oprea; Michael K. Reiter (IEEE Symposium on Security and Privacy, 2011)

Bounded Vector Signatures and their Applications. - Lei Wei 004; Scott E. Coull; Michael K. Reiter (IACR Cryptol. ePrint Arch., 2011)

Detecting and resolving policy misconfigurations in access-control systems. - Lujo Bauer; Scott Garriss; Michael K. Reiter (ACM Trans. Inf. Syst. Secur., 2011)

Server-side verification of client behavior in online games. - Darrell Bethea; Robert A. Cochran; Michael K. Reiter (ACM Trans. Inf. Syst. Secur., 2011)

False data injection attacks against state estimation in electric power grids. - Yao Liu 007; Peng Ning; Michael K. Reiter (ACM Trans. Inf. Syst. Secur., 2011)

Cross-VM side channels and their use to extract private keys. - Yinqian Zhang; Ari Juels; Michael K. Reiter; Thomas Ristenpart (CCS, 2012)

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 001; Michael K. Reiter (CHI, 2012)

Discovering access-control misconfigurations: new approaches and evaluation methodologies. - Lujo Bauer; Yuan Liang; Michael K. Reiter; Chad Spensky (CODASPY, 2012)

New opportunities for load balancing in network-wide intrusion detection systems. - Victor Heorhiadi; Michael K. Reiter; Vyas Sekar (CoNEXT, 2012)

Third-Party Private DFA Evaluation on Encrypted Files in the Cloud. - Lei Wei 004; Michael K. Reiter (ESORICS, 2012)

Efficient, Compromise Resilient and Append-Only Cryptographic Schemes for Secure Audit Logging. - Attila Altay Yavuz; Peng Ning; Michael K. Reiter (Financial Cryptography, 2012)

Design and Implementation of a Consolidated Middlebox Architecture. - Vyas Sekar; Norbert Egi; Sylvia Ratnasamy; Michael K. Reiter; Guangyu Shi (NSDI, 2012)

Revisiting Botnet Models and Their Implications for Takedown Strategies. - Ting-Fang Yen; Michael K. Reiter (POST, 2012)

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 (PST, 2012)

Understanding domain registration abuses. - Scott E. Coull; Andrew M. White 002; Ting-Fang Yen; Fabian Monrose; Michael K. Reiter (Comput. Secur., 2012)

BAF and FI-BAF: Efficient and Publicly Verifiable Cryptographic Schemes for Secure Logging in Resource-Constrained Systems. - Attila Altay Yavuz; Peng Ning; Michael K. Reiter (ACM Trans. Inf. Syst. Secur., 2012)

File system virtual appliances: Portable file system implementations. - Michael Abd-El-Malek; Matthew Wachs; James Cipar; Karan Sanghi; Gregory R. Ganger; Garth A. Gibson; Michael K. Reiter (ACM Trans. Storage, 2012)

Secure Decoupled Linkage (SDLink) system for building a social genome. - Hye-Chung Kum; Ashok Kumar Krishnamurthy 001; Darshana Pathak; Michael K. Reiter; Stanley C. Ahalt (IEEE BigData, 2013)

Düppel: retrofitting commodity operating systems to mitigate cache side channels in the cloud. - Yinqian Zhang; Michael K. Reiter (CCS, 2013)

Verifiable network function outsourcing: requirements, challenges, and roadmap. - Seyed Kaveh Fayazbakhsh; Michael K. Reiter; Vyas Sekar (HotMiddlebox@CoNEXT, 2013)

Mitigating access-driven timing channels in clouds using StopWatch. - Peng Li 059; Debin Gao; Michael K. Reiter (DSN, 2013)

Ensuring File Authenticity in Private DFA Evaluation on Encrypted Files in the Cloud. - Lei Wei 004; Michael K. Reiter (ESORICS, 2013)

Toward Online Verification of Client Behavior in Distributed Applications. - Robert A. Cochran; Michael K. Reiter (NDSS, 2013)

The post anachronism: the temporal dimension of facebook privacy. - Lujo Bauer; Lorrie Faith Cranor; Saranga Komanduri; Michelle L. Mazurek; Michael K. Reiter; Manya Sleeper; Blase Ur (WPES, 2013)

An Epidemiological Study of Malware Encounters in a Large Enterprise. - Ting-Fang Yen; Victor Heorhiadi; Alina Oprea; Michael K. Reiter; Ari Juels (CCS, 2014)

Cross-Tenant Side-Channel Attacks in PaaS Clouds. - Yinqian Zhang; Ari Juels; Michael K. Reiter; Thomas Ristenpart (CCS, 2014)

Defending against device theft with human notarization. - Alana Libonati; Kelly Caine; Apu Kapadia; Michael K. Reiter (CollaborateCom, 2014)

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 001; Michael K. Reiter (FAST, 2014)

SNIPS: A Software-Defined Approach for Scaling Intrusion Prevention Systems via Offloading. - Victor Heorhiadi; Seyed Kaveh Fayaz; Michael K. Reiter; Vyas Sekar (ICISS, 2014)

Privacy preserving interactive record linkage (PPIRL). - Hye-Chung Kum; Ashok K. Krishnamurthy 001; Ashwin Machanavajjhala; Michael K. Reiter; Stanley C. Ahalt (J. Am. Medical Informatics Assoc., 2014)

StopWatch: A Cloud Architecture for Timing Channel Mitigation. - Peng Li 059; Debin Gao; Michael K. Reiter (ACM Trans. Inf. Syst. Secur., 2014)

Caesar: High-Speed and Memory-Efficient Forwarding Engine for Future Internet Architecture. - Mehrdad Moradi; Feng Qian 001; Qiang Xu; Zhuoqing Morley Mao; Darrell Bethea; Michael K. Reiter (ANCS, 2015)

Nomad: Mitigating Arbitrary Cloud Side Channels via Provider-Assisted Migration. - Soo-Jin Moon; Vyas Sekar; Michael K. Reiter (CCS, 2015)

Side Channels in Multi-Tenant Environments. - Michael K. Reiter (CCSW, 2015)

Mitigating Storage Side Channels Using Statistical Privacy Mechanisms. - Qiuyu Xiao; Michael K. Reiter; Yinqian Zhang (CCS, 2015)

Crowdsourced Exploration of Security Configurations. - Qatrunnada Ismail; Tousif Ahmed; Apu Kapadia; Michael K. Reiter (CHI, 2015)

WACCO and LOKO: Strong Consistency at Global Scale. - Darrell Bethea; Michael K. Reiter; Feng Qian 001; Qiang Xu; Zhuoqing Morley Mao (CIC, 2015)

Replica Placement for Availability in the Worst Case. - Peng Li 059; Debin Gao; Michael K. Reiter (ICDCS, 2015)

Usability of Augmented Reality for Revealing Secret Messages to Users but Not Their Devices. - Sarah J. Andrabi; Michael K. Reiter; Cynthia Sturton (SOUPS, 2015)

Accelerating the Development of Software-Defined Network Optimization Applications Using SOL. - Victor Heorhiadi; Michael K. Reiter; Vyas Sekar (CoRR, 2015)

Toward practical encrypted email that supports private, regular-expression searches. - Lei Wei 004; Michael K. Reiter (Int. J. Inf. Sec., 2015)

CCSW'16: 8th ACM Cloud Computing Security Workshop. - Elli Androulaki; Michael K. Reiter (CCS, 2016)

Accessorize to a Crime: Real and Stealthy Attacks on State-of-the-Art Face Recognition. - Mahmood Sharif; Sruti Bhagavatula; Lujo Bauer; Michael K. Reiter (CCS, 2016)

A Software Approach to Defeating Side Channels in Last-Level Caches. - Ziqiao Zhou; Michael K. Reiter; Yinqian Zhang (CCS, 2016)

Introducing Reputation Systems to the Economics of Outsourcing Computations to Rational Workers. - Jassim Aljuraidan; Lujo Bauer; Michael K. Reiter; Matthias Beckerle (Financial Cryptography, 2016)

Gremlin: Systematic Resilience Testing of Microservices. - Victor Heorhiadi; Shriram Rajagopalan; Hani Jamjoom; Michael K. Reiter; Vyas Sekar (ICDCS, 2016)

Simplifying Software-Defined Network Optimization Using SOL. - Victor Heorhiadi; Michael K. Reiter; Vyas Sekar (NSDI, 2016)

Education Modules for Networking, Cloud Computing, and Security in Systems Courses. - Jay Aikat; Michael K. Reiter; Kevin Jeffay (SIGCSE, 2016)

Stealing Machine Learning Models via Prediction APIs. - Florian Tramèr; Fan Zhang 022; Ari Juels; Michael K. Reiter; Thomas Ristenpart (USENIX Security Symposium, 2016)

Server-side verification of client behavior in cryptographic protocols. - Andrew Chi; Robert A. Cochran; Marie Nesfield; Michael K. Reiter; Cynthia Sturton (CoRR, 2016)

Detecting Privileged Side-Channel Attacks in Shielded Execution with Déjà Vu. - Sanchuan Chen; Xiaokuan Zhang; Michael K. Reiter; Yinqian Zhang (AsiaCCS, 2017)

Secure Causal Atomic Broadcast, Revisited. - Sisi Duan; Michael K. Reiter; Haibin Zhang (DSN, 2017)

On-Demand Time Blurring to Support Side-Channel Defense. - Weijie Liu 004; Debin Gao; Michael K. Reiter (ESORICS (2), 2017)

Flow Reconnaissance via Timing Attacks on SDN Switches. - Sheng Liu; Michael K. Reiter; Vyas Sekar (ICDCS, 2017)

A System to Verify Network Behavior of Known Cryptographic Clients. - Andrew Chi; Robert A. Cochran; Marie Nesfield; Michael K. Reiter; Cynthia Sturton (NSDI, 2017)

Rethinking Security in the Era of Cloud Computing. - Jay Aikat; Aditya Akella; Jeffrey S. Chase; Ari Juels; Michael K. Reiter; Thomas Ristenpart; Vyas Sekar; Michael M. Swift (IEEE Secur. Priv., 2017)

To Permit or Not to Permit, That is the Usability Question: Crowdsourcing Mobile Apps' Privacy Permission Settings. - Qatrunnada Ismail; Tousif Ahmed; Kelly Caine; Apu Kapadia; Michael K. Reiter (Proc. Priv. Enhancing Technol., 2017)

Personalized Pseudonyms for Servers in the Cloud. - Qiuyu Xiao; Michael K. Reiter; Yinqian Zhang (Proc. Priv. Enhancing Technol., 2017)

BEAT: Asynchronous BFT Made Practical. - Sisi Duan; Michael K. Reiter; Haibin Zhang (CCS, 2018)

Intent-driven composition of resource-management SDN applications. - Victor Heorhiadi; Sanjay Chandrasekaran; Michael K. Reiter; Vyas Sekar (CoNEXT, 2018)

On the Suitability of Lp-Norms for Creating and Preventing Adversarial Examples. - Mahmood Sharif; Lujo Bauer; Michael K. Reiter (CVPR Workshops, 2018)

Differentially Private Access Patterns for Searchable Symmetric Encryption. - Guoxing Chen; Ten-Hwang Lai; Michael K. Reiter; Yinqian Zhang (INFOCOM, 2018)

Static Evaluation of Noninterference Using Approximate Model Counting. - Ziqiao Zhou; Zhiyun Qian; Michael K. Reiter; Yinqian Zhang (IEEE Symposium on Security and Privacy, 2018)

Adversarial Generative Nets: Neural Network Attacks on State-of-the-Art Face Recognition. - Mahmood Sharif; Sruti Bhagavatula; Lujo Bauer; Michael K. Reiter (CoRR, 2018)

On the Suitability of Lp-norms for Creating and Preventing Adversarial Examples. - Mahmood Sharif; Lujo Bauer; Michael K. Reiter (CoRR, 2018)

SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains. - Guy Golan-Gueta; Ittai Abraham; Shelly Grossman; Dahlia Malkhi; Benny Pinkas; Michael K. Reiter; Dragos-Adrian Seredinschi; Orr Tamir; Alin Tomescu (CoRR, 2018)

PwoP: Intrusion-Tolerant and Privacy-Preserving Sensor Fusion. - Chenglu Jin; Marten van Dijk; Michael K. Reiter; Haibin Zhang (IACR Cryptol. ePrint Arch., 2018)

Efficient Verifiable Secret Sharing with Share Recovery in BFT Protocols. - Soumya Basu 003; Alin Tomescu; Ittai Abraham; Dahlia Malkhi; Michael K. Reiter; Emin Gün Sirer (CCS, 2019)

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 (DSN, 2019)

Efficient and Safe Network Updates with Suffix Causal Consistency. - Sheng Liu; Theophilus A. Benson; Michael K. Reiter (EuroSys, 2019)

How to End Password Reuse on the Web. - Ke Coby Wang; Michael K. Reiter (NDSS, 2019)

Statistical Privacy for Streaming Traffic. - Xiaokuan Zhang; Jihun Hamm; Michael K. Reiter; Yinqian Zhang (NDSS, 2019)

HotStuff: BFT Consensus with Linearity and Responsiveness. - Maofan Yin; Dahlia Malkhi; Michael K. Reiter; Guy Golan-Gueta; Ittai Abraham (PODC, 2019)

n-ML: Mitigating Adversarial Examples via Ensembles of Topologically Manipulated Classifiers. - Mahmood Sharif; Lujo Bauer; Michael K. Reiter (CoRR, 2019)

Optimization-Guided Binary Diversification to Mislead Neural Networks for Malware Detection. - Mahmood Sharif; Keane Lucas; Lujo Bauer; Michael K. Reiter; Saurabh Shintre (CoRR, 2019)

A General Framework for Adversarial Examples with Objectives. - Mahmood Sharif; Sruti Bhagavatula; Lujo Bauer; Michael K. Reiter (ACM Trans. Priv. Secur., 2019)

n-m-Variant Systems: Adversarial-Resistant Software Rejuvenation for Cloud-Based Web Applications. - Isaac Polinsky; Kyle Martin; William Enck; Michael K. Reiter (CODASPY, 2020)

Defense Through Diverse Directions. - Christopher M. Bender; Yang Li 012; Yifeng Shi; Michael K. Reiter; Junier Oliva (ICML, 2020)

Metering Graphical Data Leakage with Snowman. - Qiuyu Xiao; Brittany Subialdea; Lujo Bauer; Michael K. Reiter (SACMAT, 2020)

Detecting Stuffing of a User's Credentials at Her Own Accounts. - Ke Coby Wang; Michael K. Reiter (USENIX Security Symposium, 2020)

CPU Elasticity to Mitigate Cross-VM Runtime Monitoring. - Zeyu Mi; Haibo Chen 001; Yinqian Zhang; ShuangHe Peng; Xiaofeng Wang 006; Michael K. Reiter (IEEE Trans. Dependable Secur. Comput., 2020)

Malware Makeover: Breaking ML-based Static Analysis by Modifying Executable Bytes. - Keane Lucas; Mahmood Sharif; Lujo Bauer; Michael K. Reiter; Saurabh Shintre (AsiaCCS, 2021)

Role-Based Deception in Enterprise Networks. - Iffat Anjum; Mu Zhu; Isaac Polinsky; William Enck; Michael K. Reiter; Munindar P. Singh (CODASPY, 2021)

TASE: Reducing Latency of Symbolic Execution with Transactional Memory. - Adam Humphries; Kartik Cating-Subramanian; Michael K. Reiter (NDSS, 2021)

Effect of Mood, Location, Trust, and Presence of Others on Video-Based Social Authentication. - Cheng Guo 003; Brianne Campbell; Apu Kapadia; Michael K. Reiter; Kelly Caine (USENIX Security Symposium, 2021)

Using Amnesia to Detect Credential Database Breaches. - Ke Coby Wang; Michael K. Reiter (USENIX Security Symposium, 2021)

Brief Announcement: Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption. - Sravya Yandamuri; Ittai Abraham; Kartik Nayak; Michael K. Reiter (DISC, 2021)

The Netivus Manifesto: making collaborative network management easier for the rest of us. - Joseph Severini; Radhika Niranjan Mysore; Vyas Sekar; Sujata Banerjee; Michael K. Reiter (Comput. Commun. Rev., 2021)

Apollo - Optimistically Linear and Responsive SMR. - Adithya Bhat; Akhil Bandarupalli; Saurabh Bagchi; Aniket Kate; Michael K. Reiter (IACR Cryptol. ePrint Arch., 2021)

Communication-Efficient BFT Protocols Using Small Trusted Hardware to Tolerate Minority Corruption. - Sravya Yandamuri; Ittai Abraham; Kartik Nayak; Michael K. Reiter (IACR Cryptol. ePrint Arch., 2021)

Interpretable noninterference measurement and its application to processor designs. - Ziqiao Zhou; Michael K. Reiter (Proc. ACM Program. Lang., 2021)

Coordinating Followers to Reach Better Equilibria: End-to-End Gradient Descent for Stackelberg Games. - Kai Wang 040; Lily Xu; Andrew Perrault; Michael K. Reiter; Milind Tambe (AAAI, 2022)

ENGRAFT: Enclave-guarded Raft on Byzantine Faulty Nodes. - Weili Wang 005; Sen Deng; Jianyu Niu; Michael K. Reiter; Yinqian Zhang (CCS, 2022)

Practical Integration via Separable Bijective Networks. - Christopher M. Bender; Patrick Emmanuel; Michael K. Reiter; Junier Oliva (ICLR, 2022)

Constrained Gradient Descent: A Powerful and Principled Evasion Attack Against Neural Networks. - Weiran Lin; Keane Lucas; Lujo Bauer; Michael K. Reiter; Mahmood Sharif (ICML, 2022)

Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption. - Sravya Yandamuri; Ittai Abraham; Kartik Nayak; Michael K. Reiter (OPODIS, 2022)

Defeating traffic analysis via differential privacy: a case study on streaming traffic. - Xiaokuan Zhang; Jihun Hamm; Michael K. Reiter; Yinqian Zhang (Int. J. Inf. Sec., 2022)

Prioritizing Remediation of Enterprise Hosts by Malware Execution Risk. - Andrew Chi; Blake Anderson; Michael K. Reiter (ACSAC, 2023)

Tackling Credential Abuse Together. - Michael K. Reiter (CODASPY, 2023)

Optimally Hiding Object Sizes with Constrained Padding. - Andrew C. Reed; Michael K. Reiter (CSF, 2023)

Privately Evaluating Region Overlaps with Applications to Collaborative Sensor Output Validation. - Anrin Chakraborti; Michael K. Reiter (EuroS&P, 2023)

The Unique Chain Rule and Its Applications. - Adithya Bhat; Akhil Bandarupalli; Saurabh Bagchi; Aniket Kate; Michael K. Reiter (FC (1), 2023)

Nimble: Fast and Safe Migration of Network Functions. - Sheng Liu; Michael K. Reiter; Theophilus A. Benson (INFOCOM, 2023)

EESMR: Energy Efficient BFT - SMR for the masses. - Adithya Bhat; Akhil Bandarupalli; Manish Nagaraj; Saurabh Bagchi; Aniket Kate; Michael K. Reiter (Middleware, 2023)

Distance-Aware Private Set Intersection. - Anrin Chakraborti; Giulia Fanti; Michael K. Reiter (USENIX Security Symposium, 2023)

Adversarial Training for Raw-Binary Malware Classifiers. - Keane Lucas; Samruddhi Pai; Weiran Lin; Lujo Bauer; Michael K. Reiter; Mahmood Sharif (USENIX Security Symposium, 2023)

Mendata: A Framework to Purify Manipulated Training Data. - Zonghao Huang; Neil Gong 001; Michael K. Reiter (CoRR, 2023)

HashRand: Efficient Asynchronous Random Beacon without Threshold Cryptographic Setup. - Akhil Bandarupalli; Adithya Bhat; Saurabh Bagchi; Aniket Kate; Michael K. Reiter (IACR Cryptol. ePrint Arch., 2023)

Looking Backwards (and Forwards): NSF Secure and Trustworthy Computing 20-Year Retrospective Panel Transcription. - Carl E. Landwehr; Michael K. Reiter; Laurie A. Williams; Gene Tsudik; Trent Jaeger; Tadayoshi Kohno; Apu Kapadia (IEEE Secur. Priv., 2023)

CrudiTEE: A Stick-And-Carrot Approach to Building Trustworthy Cryptocurrency Wallets with TEEs. - Lulu Zhou; Zeyu Liu 008; Fan Zhang 022; Michael K. Reiter (AFT, 2024)

Random Beacons in Monte Carlo: Efficient Asynchronous Random Beacon without Threshold Cryptography. - Akhil Bandarupalli; Adithya Bhat; Saurabh Bagchi; Aniket Kate; Michael K. Reiter (CCS, 2024)

A General Framework for Data-Use Auditing of ML Models. - Zonghao Huang; Neil Zhenqiang Gong; Michael K. Reiter (CCS, 2024)

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 (CCS, 2024)

Training Robust ML-based Raw-Binary Malware Detectors in Hours, not Months. - Keane Lucas; Weiran Lin; Lujo Bauer; Michael K. Reiter; Mahmood Sharif (CCS, 2024)

Delphi: Efficient Asynchronous Approximate Agreement for Distributed Oracles. - Akhil Bandarupalli; Adithya Bhat; Saurabh Bagchi; Aniket Kate; Chen-Da Liu-Zhang; Michael K. Reiter (DSN, 2024)

Formally Verifying a Rollback-Prevention Protocol for TEEs. - Weili Wang 005; Jianyu Niu; Michael K. Reiter; Yinqian Zhang (FORTE, 2024)

SensorBFT: Fault-Tolerant Target Localization Using Voronoi Diagrams and Approximate Agreement. - Akhil Bandarupalli; Adithya Bhat; Somali Chaterji; Michael K. Reiter; Aniket Kate; Saurabh Bagchi (ICDCS, 2024)

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 (NDSS, 2024)

Bernoulli Honeywords. - Ke Coby Wang; Michael K. Reiter (NDSS, 2024)

Mudjacking: Patching Backdoor Vulnerabilities in Foundation Models. - Hongbin Liu 005; Michael K. Reiter; Neil Zhenqiang Gong (USENIX Security Symposium, 2024)

The Impact of Exposed Passwords on Honeyword Efficacy. - Zonghao Huang; Lujo Bauer; Michael K. Reiter (USENIX Security Symposium, 2024)

Near-Optimal Constrained Padding for Object Retrievals with Dependencies. - Pranay Jain; Andrew C. Reed; Michael K. Reiter (USENIX Security Symposium, 2024)

On the Criticality of Integrity Protection in 5G Fronthaul Networks. - Jiarong Xing; Sophia Yoo; Xenofon Foukas; Daehyeok Kim; Michael K. Reiter (USENIX Security Symposium, 2024)

Concealing Backdoor Model Updates in Federated Learning by Trigger-Optimized Data Poisoning. - Yujie Zhang; Neil Gong 001; Michael K. Reiter (CoRR, 2024)

On Orchestrating Parallel Broadcasts for Distributed Ledgers. - Peiyao Sheng; Chenyuan Wu; Dahlia Malkhi; Michael K. Reiter; Chrysoula Stathakopoulou; Michael Wei; Maofan Yin (IACR Cryptol. ePrint Arch., 2024)

Random Beacons in Monte Carlo: Efficient Asynchronous Random Beacon without Threshold Cryptography. - Akhil Bandarupalli; Adithya Bhat; Saurabh Bagchi; Aniket Kate; Michael K. Reiter (Zenodo, 2024)

Random Beacons in Monte Carlo: Efficient Asynchronous Random Beacon without Threshold Cryptography. - Akhil Bandarupalli; Adithya Bhat; Saurabh Bagchi; Aniket Kate; Michael K. Reiter (Zenodo, 2024)

Instance-Level Data-Use Auditing of Visual ML Models. - Zonghao Huang; Neil Zhenqiang Gong; Michael K. Reiter (CoRR, 2025)

Incentivizing Collaborative Breach Detection. - Mridu Nanda; Michael K. Reiter (CoRR, 2025)

Blocklisted Oblivious Pseudorandom Functions. - Xinyuan Zhang; Anrin Chakraborti; Michael K. Reiter (CoRR, 2025)