Reiter, Michael - Department of Computer Science, University of North Carolina at Chapel Hill

• Int J Inf Secur (2004) / Digital Object Identifier (DOI) 10.1007/s10207-004-0041-0 Two-party generation of DSA signatures
• Private Keyword-Based Push and Pull with Applications to Anonymous Communication
• Automatic Generation of Two-Party Computations (Extended Abstract)
• 978-1-4244-1694-3/08/$25.00 2008 IEEE Self-Optimizing Distributed Trees
• Space-Efficient Block Storage Integrity Alina Oprea
• Expandable Grids for Visualizing and Authoring Computer Security Policies
• Discouraging Software Piracy Using Software Aging
• Computer Networks 31 (1999) 10911100 On the security of pay-per-click and other Web advertising schemes
• Verifiable Signature Sharing Matthew K. Franklin Michael K. Reiter
• More than Skin Deep: Measuring Effects of the Underlying Model on Access-Control System Usability
• Understanding Domain Registration Abuses Scott E. Coull1
• An Architecture for Survivable Coordination in Large Distributed Systems
• A Security Architecture for Fault-Tolerant MICHAEL K. REITER
• Reducing the Trusted Computing Base for Applications on Commodity Systems
• Hit-List Worm Detection and Bot Identification in Large Networks Using Protocol Graphs
• How Low Can You Go? Recommendations for Hardware-Supported
• On Challenges in Evaluating Malware Clustering , Limin Liu2
• Usability Testing a Malware-Resistant Input Mechanism Alana Libonati
• Revisiting the Case for a Minimalist Approach for Network Flow Monitoring
• The Security of Modern Password Expiration: An Algorithmic Framework and Empirical Analysis
• 20lO IEEEIIFIP International Conference on Dependable Systems & Networks (DSN) Zzyzx: Scalable Fault Tolerance through Byzantine Locking
• Server-side Verification of Client Behavior in Online Games Darrell Bethea Robert A. Cochran Michael K. Reiter
• Making Peer-Assisted Content Distribution Robust to Collusion Using Bandwidth Puzzles
• Privacy-Preserving Genomic Computation Through Program Specialization
• When and How to Change Quorums on Wide Area Networks Michael G. Merideth, Florian Oprea
• Automatically Adapting a Trained Anomaly Detector to Software Patches
• xDomain: Cross-border Proofs of Access Lujo Bauer
• Int. J. Security and Networks, Vol. 4, Nos. 1/2, 2009 43 Seeing-Is-Believing: using camera phones
• Write Markers for Probabilistic Quorum Systems
• BinHunt: Automatically Finding Semantic Differences in Binary Programs
• On the Limits of Payload-Oblivious Network Attack Detection
• Detecting and Resolving Policy Misconfigurations in Access-Control Systems
• CSAMP: A System for Network-Wide Flow Monitoring Vyas Sekar , Michael K. Reiter
• A User Study of Policy Creation in a Flexible Access-Control System
• Flicker: An Execution Infrastructure for TCB Minimization Jonathan M. McCune
• Int. J. Inf. Secur. DOI 10.1007/s10207-007-0042-x
• On Consistency of Encrypted Files Alina Oprea1
• Quorum Placement in Networks: Minimizing Network Congestion
• M2: Multicasting Mixes for Efficient and Anonymous Communication Ginger Perng Michael K. Reiter Chenxi Wang
• A Multi-Resolution Approach for Worm Detection and Containment Vyas Sekar Yinglian Xie Michael K. Reiter Hui Zhang
• Distributed Construction of a Fault-Tolerant Network from a Tree Michael K. Reiter
• Lazy Verification in Fault-Tolerant Distributed Storage Systems Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie
• Behavioral Distance for Intrusion Detection , Michael K. Reiter2
• Quorum Placement in Networks to Minimize Access Delays Anupam Gupta
• Building Reliable Mix Networks with Fair Exchange
• Worm Origin Identification Using Random Moonwalks Yinglian Xie Vyas Sekar David A. Maltz Michael K. Reiter Hui Zhang
• Seeing-Is-Believing: Using Camera Phones for Human-Verifiable Authentication
• Detection of Denial-of-Message Attacks on Sensor Network Broadcasts
• Mitigating Bandwidth-Exhaustion Attacks using Congestion Puzzles
• Gray-Box Extraction of Execution Graphs for Anomaly Detection
• USENIX Association Proceedings of the
• Efficient Byzantine-tolerant erasure-coded storage Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter
• Alternatives to Non-malleability: Definitions, Constructions, and Applications
• Digital Object Identifier (DOI) 10.1007/s00446-003-0098-4 Distrib. Comput. (2003) 16: 307327
• Proceedings of the 22nd International Symposium on Reliable Distributed Systems (SRDS'03) 1060-9857/03 $17.00 2003 IEEE
• Digital Object Identifier (DOI) 10.1007/s00446-002-0075-3 Distrib. Comput. (2003) 16: 3748
• Theoretical Computer Science 299 (2003) 289306 www.elsevier.com/locate/tcs
• A Secure Distributed Search System Yinglian Xiey David O'Hallaron Michael K. Reiter
• Efficient Update Diffusion in Byzantine Environments Dahlia Malkhi
• Two-Party Generation of DSA Signatures (Extended Abstract)
• Using Voice to Generate Cryptographic Keys Fabian Monrose, Michael K. Reiter, Qi Li, Susanne Wetzel
• On k-Set Consensus Problems in Asynchronous Systems
• Secure Execution of Java Applets Using a Remote Playground
• THE LOAD AND AVAILABILITY OF BYZANTINE QUORUM DAHLIA MALKHI, MICHAEL K. REITER, AND AVISHAI WOOL
• Privacy-Preserving Global Customization (Extended Abstract)
• Authentication Metric Analysis and Design MICHAEL K. REITER
• On k-set Consensus Problems in Asynchronous Systems Roberto De Prisco* Dahlia Malkhit Michael K. Reited
• Fault Detection for Byzantine Quorum Systems Lorenzo Alvisi Dahlia Malkhiy Evelyn Piercez Michael Reiterx
• The following paper was originally published in the Proceedings of the 3rd USENIX Workshop on Electronic Commerce
• Path Independence for Authentication in Large-Scale Systems Michael K. Reiter Stuart G. Stubblebine
• Low-Exponent RSA with Related Messages Don Coppersmith* Matthew Franklin* Jacques Patarin-Michael Reitert
• Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart
• How to Securely Replicate MICHAEL K. REITER
• Efficient, Usable Proof-Construction Strategies for Distributed Access-Control Systems
• Efficient Cryptographic Techniques for Securing Storage Systems
• Quiver on the Edge: Consistent Scalable Edge Services
• Quiver: Consistent Object Sharing for Edge Services
• Fast and Black-box Exploit Detection and Signature Generation for
• Minimizing Response Time for Quorum-System Protocols over Wide-Area Networks
• Secure Execution of Java Applets using a Remote Playground Dahlia Malkhi Michael K. Reiter Aviel D. Rubin
• On Diffusing Updates in a Byzantine Environment Dahlia Malkhi
• An Empirical Analysis of Target-Resident DoS Filters (Extended Abstract)
• Gray-Box Anomaly Detection using System Call Monitoring A dissertation submitted
• Minimal TCB Code Execution (Extended Abstract) Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, and Arvind Seshadri
• Towards Practical Biometric Key Generation with Randomized Biometric Templates
• Fair Exchange with a Semi-Trusted Third Party (extended abstract)
• Probabilistic Opaque Quorum Systems Michael G. Merideth1
• Michael K. Reiter Curriculum Vitae
• The Load and Availability of Byzantine Quorum Systems Dahlia Malkhi Michael Reiter Avishai Wool
• Efficient Proving for Practical Distributed Access-Control Systems
• IJIS (2002) 1: 6983 / Digital Object Identifier (DOI) 10.1007/s102070100006 Password hardening based on keystroke dynamics
• Real Life Challenges in Access-control Management Lorrie Faith Cranor
• Information and Computation 170, 184206 (2001) doi:10.1006/inco.2001.3054, available online at http://www.idealibrary.com on
• Password Hardening Based on Keystroke Dynamics Fabian Monrose Michael K. Reiter Susanne Wetzel
• Are Your Hosts Trading or Plotting? Telling P2P File-Sharing and Bots Apart
• Survivable Consensus Objects (Extended Abstract)
• Int J Inf Secur (2003) / Digital Object Identifier (DOI) 10.1007/s10207-003-0022-8 Networked cryptographic devices resilient to capture
• A Protocol Graph Based Anomaly Detection System Michael Collins
• Network-Wide Deployment of Intrusion Detection and Prevention Systems
• Selective Private Function Evaluation with Applications to Private Statistics
• The Rampart Toolkit for Building High-Integrity Services
• Seurat: A Pointillist Approach to Anomaly Detection Yinglian Xie1
• Delegation of Cryptographic Servers for Capture-Resilient Devices
• Low-Overhead Byzantine Fault-Tolerant Storage James Hendricks
• Packet Vaccine: Black-box Exploit Detection and Signature Generation
• USENIX Association Proceedings of the
• WRAPS: Denial-of-Service Defense through Web Referrals XiaoFeng Wang
• Secure and Scalable Replication in Phalanx (Extended Abstract)
• IEEE TRANSACTIONS ON COMPUTERS, VOL. 47, NO. 12, DECEMBER 1998 1351 Resilient Authentication
• Probabilistic Quorum Systems Dahlia Malkhi Michael Reiter Rebecca Wright
• Time-Scoped Searching of Encrypted Audit Logs (Extended Abstract)
• USENIX Association 17th USENIX Security Symposium 61 The Practical Subtleties of Biometric Key Generation
• Data Structures with Unpredictable Timing Darrell Bethea and Michael K. Reiter
• Timing Attacks in Low-Latency Mix Systems (Extended Abstract)
• CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2002; 14:261285 (DOI: 10.1002/cpe.635)
• Distrib. Comput. (1998) 11: 203213 c Springer-Verlag 1998
• Byzantine Quorum Systems Dahlia Malkhi Michael Reiter
• Beyond Output Voting: Detecting Compromised Replicas Using
• Traffic Aggregation for Malware Detection Ting-Fang Yen1
• Quorum Placement on Wide-Area Networks Florian Oprea
• HomeAlone: Co-Residency Detection in the Cloud via Side-Channel Analysis Yinqian Zhang
• Bounded Vector Signatures and their Applications University of North Carolina
• Summary-Invisible Networking: Techniques and Defenses
• Finding Peer-to-Peer File-Sharing Using Coarse Network Behaviors
• Server-side Verification of Client Behavior in Online Games Darrell Bethea Robert A. Cochran Michael K. Reiter
• On Web Browsing Privacy in Anonymized NetFlows S. E. Coull
• An Authorization Model for a Public Key Management Service
• Behavioral Distance Measurement Using Hidden Markov Models
• Forensic Analysis for Epidemic Attacks in Federated Networks
• Safe Passage for Passwords and Other Sensitive Data Jonathan M. McCune Adrian Perrig Michael K. Reiter
• Verifying Distributed Erasure-Coded Data James Hendricks
• Fault-Scalable Byzantine Fault-Tolerant Services Michael Abd-El-Malek
• Dynamic Byzantine Quorum Systems Lorenzo Alvisi Dahlia Malkhiy
• False Data Injection Attacks against State Estimation in Electric Power Grids
• 978-1-4244-5489-1/10/ $26.00 c 2010 IEEE Coordinated Sampling sans Origin-Destination
• The Q Key Management Service Michael K. Reiter Matthew K. Franklin John B. Lacy Rebecca N. Wright
• Fragile Mixing Michael K. Reiter
• Proceedings of the 2003 IEEE Symposium on Security and Privacy (SP'03) 1081-6011/03 $17.00 2003 IEEE
• Integrity Checking in Cryptographic File Systems with Constant Trusted Storage
• Browser Fingerprinting from Coarse Traffic Summaries: Techniques and Implications
• Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems (SRDS'04) 1060-9857/04 $ 20.00 IEEE
• The following paper was originally published in the Proceedings of the 8th
• Playing Devil's Advocate: Inferring Sensitive Information from Anonymized Network Traces
• Amplifying Limited Expert Input to Sanitize Large Network Traces Xin Huang, Fabian Monrose, Michael K. Reiter
• False Data Injection Attacks against State Estimation in Electric Power Grids
• Detecting and Resolving Policy Misconfigurations in Access-Control Systems
• Detecting Stealthy Malware Using Behavioral Features in Network Traffic
• The Middlebox Manifesto: Enabling Innovation in Middlebox Deployment
• Discovering Access-Control Misconfigurations: New Approaches and Evaluation Methodologies
• Toward a Framework for Internet Forensic Analysis Vyas Sekar Yinglian Xie David A. Maltz Michael K. Reiter Hui Zhang
• Server-Side Verification of Client Behavior in Online Games DARRELL BETHEA, ROBERT A. COCHRAN, and MICHAEL K. REITER,