Michael K. Reiter

339 papers A* 97A 58B 20C 11Misc 9Journal 100Unranked 42

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Rafture: Erasure-coded Raft with Post-Dissemination Pruning. CoRR Rithwik Kerur, Divyakant Agrawal, Michael K. Reiter, Dahlia Malkhi
2026	J	`jnl`	Resilient Infrastructures via Digital Unification. Commun. ACM Ang Chen, Sylvia Ratnasamy, Mohammad Alizadeh, Mosharaf Chowdhury, Seth D. Guikema, Ryan Huang, Suresh Jagannathan, Branko Kerkez, Edward A. Lee, Steven Low, Morley Mao, Johanna Mathieu, Michael K. Reiter, Xinyu Wang, Vinton G. Cerf
2025	J	`jnl`	Blocklisted Oblivious Pseudorandom Functions. CoRR Xinyuan Zhang, Anrin Chakraborti, Michael K. Reiter
2025	J	`jnl`	Incentivizing Collaborative Breach Detection. CoRR Mridu Nanda, Michael K. Reiter
2025	J	`jnl`	Instance-Level Data-Use Auditing of Visual ML Models. CoRR Zonghao Huang, Neil Zhenqiang Gong, Michael K. Reiter
2025	J	`jnl`	SoK: How Sensor Attacks Disrupt Autonomous Vehicles: An End-to-end Analysis, Challenges, and Missed Threats. CoRR Qingzhao Zhang, Shaocheng Luo, Z. Morley Mao, Miroslav Pajic, Michael K. Reiter
2025	A	`conf`	The 2FA Illusion: Uncovering Weak Links of Web Account Access in the Wild. ACSAC Ke Coby Wang, Sunpreet S. Arora, Michael K. Reiter
2024	A*	`conf`	A General Framework for Data-Use Auditing of ML Models. CCS Zonghao Huang, Neil Zhenqiang Gong, Michael K. Reiter
2024	J	`jnl`	A General Framework for Data-Use Auditing of ML Models. CoRR Zonghao Huang, Neil Zhenqiang Gong, Michael K. Reiter
2024	A*	`conf`	Bernoulli Honeywords. NDSS Ke Coby Wang, Michael K. Reiter
2024	J	`jnl`	Concealing Backdoor Model Updates in Federated Learning by Trigger-Optimized Data Poisoning. CoRR Yujie Zhang, Neil Gong, Michael K. Reiter
2024	B	`conf`	CrudiTEE: A Stick-And-Carrot Approach to Building Trustworthy Cryptocurrency Wallets with TEEs. AFT Lulu Zhou, Zeyu Liu, Fan Zhang, Michael K. Reiter
2024	J	`jnl`	CrudiTEE: A Stick-and-Carrot Approach to Building Trustworthy Cryptocurrency Wallets with TEEs. CoRR Lulu Zhou, Zeyu Liu, Fan Zhang, Michael K. Reiter
2024	A	`conf`	Delphi: Efficient Asynchronous Approximate Agreement for Distributed Oracles. DSN Akhil Bandarupalli, Adithya Bhat, Saurabh Bagchi, Aniket Kate, Chen-Da Liu-Zhang, Michael K. Reiter
2024	J	`jnl`	Delphi: Efficient Asynchronous Approximate Agreement for Distributed Oracles. CoRR Akhil Bandarupalli, Adithya Bhat, Saurabh Bagchi, Aniket Kate, Chen-Da Liu-Zhang, Michael K. Reiter
2024	C	`conf`	Formally Verifying a Rollback-Prevention Protocol for TEEs. FORTE Weili Wang, Jianyu Niu, Michael K. Reiter, Yinqian Zhang
2024	A*	`conf`	Group-based Robustness: A General Framework for Customized Robustness in the Real World. NDSS Weiran Lin, Keane Lucas, Neo Eyal, Lujo Bauer, Michael K. Reiter, Mahmood Sharif
2024	A*	`conf`	Mudjacking: Patching Backdoor Vulnerabilities in Foundation Models. USENIX Security Symposium Hongbin Liu, Michael K. Reiter, Neil Zhenqiang Gong
2024	J	`jnl`	Mudjacking: Patching Backdoor Vulnerabilities in Foundation Models. CoRR Hongbin Liu, Michael K. Reiter, Neil Zhenqiang Gong
2024	A*	`conf`	Near-Optimal Constrained Padding for Object Retrievals with Dependencies. USENIX Security Symposium Pranay Jain, Andrew C. Reed, Michael K. Reiter
2024	J	`jnl`	On Orchestrating Parallel Broadcasts for Distributed Ledgers. CoRR Peiyao Sheng, Chenyuan Wu, Dahlia Malkhi, Michael K. Reiter, Chrysoula Stathakopoulou, Michael Wei, Maofan Yin
2024	J	`jnl`	On Orchestrating Parallel Broadcasts for Distributed Ledgers. IACR Cryptol. ePrint Arch. Peiyao Sheng, Chenyuan Wu, Dahlia Malkhi, Michael K. Reiter, Chrysoula Stathakopoulou, Michael Wei, Maofan Yin
2024	A*	`conf`	On the Criticality of Integrity Protection in 5G Fronthaul Networks. USENIX Security Symposium Jiarong Xing, Sophia Yoo, Xenofon Foukas, Daehyeok Kim, Michael K. Reiter
2024	A*	`conf`	PG: Byzantine Fault-Tolerant and Privacy-Preserving Sensor Fusion with Guaranteed Output Delivery. CCS Chenglu Jin, Chao Yin, Marten van Dijk, Sisi Duan, Fabio Massacci, Michael K. Reiter, Haibin Zhang
2024	A*	`conf`	Random Beacons in Monte Carlo: Efficient Asynchronous Random Beacon CCS Akhil Bandarupalli, Adithya Bhat, Saurabh Bagchi, Aniket Kate, Michael K. Reiter
2024	A	`conf`	SensorBFT: Fault-Tolerant Target Localization Using Voronoi Diagrams and Approximate Agreement. ICDCS Akhil Bandarupalli, Adithya Bhat, Somali Chaterji, Michael K. Reiter, Aniket Kate, Saurabh Bagchi
2024	A*	`conf`	The Impact of Exposed Passwords on Honeyword Efficacy. USENIX Security Symposium Zonghao Huang, Lujo Bauer, Michael K. Reiter
2024	A*	`conf`	Training Robust ML-based Raw-Binary Malware Detectors in Hours, not Months. CCS Keane Lucas, Weiran Lin, Lujo Bauer, Michael K. Reiter, Mahmood Sharif
2023	A*	`conf`	Adversarial Training for Raw-Binary Malware Classifiers. USENIX Security Symposium Keane Lucas, Samruddhi Pai, Weiran Lin, Lujo Bauer, Michael K. Reiter, Mahmood Sharif
2023	A*	`conf`	Distance-Aware Private Set Intersection. USENIX Security Symposium Anrin Chakraborti, Giulia Fanti, Michael K. Reiter
2023	A	`conf`	EESMR: Energy Efficient BFT - SMR for the masses. Middleware Adithya Bhat, Akhil Bandarupalli, Manish Nagaraj, Saurabh Bagchi, Aniket Kate, Michael K. Reiter
2023	J	`jnl`	EESMR: Energy Efficient BFT-SMR for the masses. CoRR Adithya Bhat, Akhil Bandarupalli, Manish Nagaraj, Saurabh Bagchi, Aniket Kate, Michael K. Reiter
2023	J	`jnl`	Group-based Robustness: A General Framework for Customized Robustness in the Real World. CoRR Weiran Lin, Keane Lucas, Neo Eyal, Lujo Bauer, Michael K. Reiter, Mahmood Sharif
2023	J	`jnl`	HashRand: Efficient Asynchronous Random Beacon without Threshold Cryptographic Setup. IACR Cryptol. ePrint Arch. Akhil Bandarupalli, Adithya Bhat, Saurabh Bagchi, Aniket Kate, Michael K. Reiter
2023	J	`jnl`	Looking Backwards (and Forwards): NSF Secure and Trustworthy Computing 20-Year Retrospective Panel Transcription. IEEE Secur. Priv. Carl E. Landwehr, Michael K. Reiter, Laurie A. Williams, Gene Tsudik, Trent Jaeger, Tadayoshi Kohno, Apu Kapadia
2023	J	`jnl`	Mendata: A Framework to Purify Manipulated Training Data. CoRR Zonghao Huang, Neil Gong, Michael K. Reiter
2023	A*	`conf`	Nimble: Fast and Safe Migration of Network Functions. INFOCOM Sheng Liu, Michael K. Reiter, Theophilus A. Benson
2023	A	`conf`	Optimally Hiding Object Sizes with Constrained Padding. CSF Andrew C. Reed, Michael K. Reiter
2023	A	`conf`	Prioritizing Remediation of Enterprise Hosts by Malware Execution Risk. ACSAC Andrew Chi, Blake Anderson, Michael K. Reiter
2023	A	`conf`	Privately Evaluating Region Overlaps with Applications to Collaborative Sensor Output Validation. EuroS&P Anrin Chakraborti, Michael K. Reiter
2023	—	`conf`	Tackling Credential Abuse Together. CODASPY Michael K. Reiter
2023	J	`jnl`	The Impact of Exposed Passwords on Honeyword Efficacy. CoRR Zonghao Huang, Lujo Bauer, Michael K. Reiter
2023	—	`conf`	The Unique Chain Rule and Its Applications. FC (1) Adithya Bhat, Akhil Bandarupalli, Saurabh Bagchi, Aniket Kate, Michael K. Reiter
2022	J	`jnl`	Bernoulli honeywords. CoRR Ke Coby Wang, Michael K. Reiter
2022	B	`conf`	Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption. OPODIS Sravya Yandamuri, Ittai Abraham, Kartik Nayak, Michael K. Reiter
2022	A*	`conf`	Constrained Gradient Descent: A Powerful and Principled Evasion Attack Against Neural Networks. ICML Weiran Lin, Keane Lucas, Lujo Bauer, Michael K. Reiter, Mahmood Sharif
2022	A*	`conf`	Coordinating Followers to Reach Better Equilibria: End-to-End Gradient Descent for Stackelberg Games. AAAI Kai Wang, Lily Xu, Andrew Perrault, Michael K. Reiter, Milind Tambe
2022	J	`jnl`	Defeating traffic analysis via differential privacy: a case study on streaming traffic. Int. J. Inf. Sec. Xiaokuan Zhang, Jihun Hamm, Michael K. Reiter, Yinqian Zhang
2022	A*	`conf`	ENGRAFT: Enclave-guarded Raft on Byzantine Faulty Nodes. CCS Weili Wang, Sen Deng, Jianyu Niu, Michael K. Reiter, Yinqian Zhang
2022	A*	`conf`	Practical Integration via Separable Bijective Networks. ICLR Christopher M. Bender, Patrick Emmanuel, Michael K. Reiter, Junier Oliva
2021	J	`jnl`	Apollo - Optimistically Linear and Responsive SMR. IACR Cryptol. ePrint Arch. Adithya Bhat, Akhil Bandarupalli, Saurabh Bagchi, Aniket Kate, Michael K. Reiter
2021	A	`conf`	Brief Announcement: Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption. DISC Sravya Yandamuri, Ittai Abraham, Kartik Nayak, Michael K. Reiter
2021	J	`jnl`	Communication-Efficient BFT Protocols Using Small Trusted Hardware to Tolerate Minority Corruption. IACR Cryptol. ePrint Arch. Sravya Yandamuri, Ittai Abraham, Kartik Nayak, Michael K. Reiter
2021	J	`jnl`	Constrained Gradient Descent: A Powerful and Principled Evasion Attack Against Neural Networks. CoRR Weiran Lin, Keane Lucas, Lujo Bauer, Michael K. Reiter, Mahmood Sharif
2021	J	`jnl`	Coordinating Followers to Reach Better Equilibria: End-to-End Gradient Descent for Stackelberg Games. CoRR Kai Wang, Lily Xu, Andrew Perrault, Michael K. Reiter, Milind Tambe
2021	J	`jnl`	Distance-Aware Private Set Intersection. CoRR Anrin Chakraborti, Giulia Fanti, Michael K. Reiter
2021	A*	`conf`	Effect of Mood, Location, Trust, and Presence of Others on Video-Based Social Authentication. USENIX Security Symposium Cheng Guo, Brianne Campbell, Apu Kapadia, Michael K. Reiter, Kelly Caine
2021	J	`jnl`	Interpretable noninterference measurement and its application to processor designs. Proc. ACM Program. Lang. Ziqiao Zhou, Michael K. Reiter
2021	A	`conf`	Malware Makeover: Breaking ML-based Static Analysis by Modifying Executable Bytes. AsiaCCS Keane Lucas, Mahmood Sharif, Lujo Bauer, Michael K. Reiter, Saurabh Shintre
2021	J	`jnl`	Optimally Hiding Object Sizes with Constrained Padding. CoRR Andrew C. Reed, Michael K. Reiter
2021	—	`conf`	Role-Based Deception in Enterprise Networks. CODASPY Iffat Anjum, Mu Zhu, Isaac Polinsky, William Enck, Michael K. Reiter, Munindar P. Singh
2021	A*	`conf`	TASE: Reducing Latency of Symbolic Execution with Transactional Memory. NDSS Adam Humphries, Kartik Cating-Subramanian, Michael K. Reiter
2021	J	`jnl`	The Netivus Manifesto: making collaborative network management easier for the rest of us. Comput. Commun. Rev. Joseph Severini, Radhika Niranjan Mysore, Vyas Sekar, Sujata Banerjee, Michael K. Reiter
2021	A*	`conf`	Using Amnesia to Detect Credential Database Breaches. USENIX Security Symposium Ke Coby Wang, Michael K. Reiter
2020	J	`jnl`	CPU Elasticity to Mitigate Cross-VM Runtime Monitoring. IEEE Trans. Dependable Secur. Comput. Zeyu Mi, Haibo Chen, Yinqian Zhang, ShuangHe Peng, Xiaofeng Wang, Michael K. Reiter
2020	A*	`conf`	Defense Through Diverse Directions. ICML Christopher M. Bender, Yang Li, Yifeng Shi, Michael K. Reiter, Junier Oliva
2020	J	`jnl`	Defense Through Diverse Directions. CoRR Christopher M. Bender, Yang Li, Yifeng Shi, Michael K. Reiter, Junier B. Oliva
2020	A*	`conf`	Detecting Stuffing of a User's Credentials at Her Own Accounts. USENIX Security Symposium Ke Coby Wang, Michael K. Reiter
2020	C	`conf`	Metering Graphical Data Leakage with Snowman. SACMAT Qiuyu Xiao, Brittany Subialdea, Lujo Bauer, Michael K. Reiter
2020	J	`jnl`	Role-Based Deception in Enterprise Networks. CoRR Iffat Anjum, Mu Zhu, Isaac Polinsky, William Enck, Michael K. Reiter, Munindar P. Singh
2020	—	`conf`	n-m-Variant Systems: Adversarial-Resistant Software Rejuvenation for Cloud-Based Web Applications. CODASPY Isaac Polinsky, Kyle Martin, William Enck, Michael K. Reiter
2019	J	`jnl`	A General Framework for Adversarial Examples with Objectives. ACM Trans. Priv. Secur. Mahmood Sharif, Sruti Bhagavatula, Lujo Bauer, Michael K. Reiter
2019	J	`jnl`	Detecting stuffing of a user's credentials at her own accounts. CoRR Ke Coby Wang, Michael K. Reiter
2019	A*	`conf`	Efficient Verifiable Secret Sharing with Share Recovery in BFT Protocols. CCS Soumya Basu, Alin Tomescu, Ittai Abraham, Dahlia Malkhi, Michael K. Reiter, Emin Gün Sirer
2019	A	`conf`	Efficient and Safe Network Updates with Suffix Causal Consistency. EuroSys Sheng Liu, Theophilus A. Benson, Michael K. Reiter
2019	A*	`conf`	HotStuff: BFT Consensus with Linearity and Responsiveness. PODC Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan-Gueta, Ittai Abraham
2019	A*	`conf`	How to End Password Reuse on the Web. NDSS Ke Coby Wang, Michael K. Reiter
2019	J	`jnl`	Optimization-Guided Binary Diversification to Mislead Neural Networks for Malware Detection. CoRR Mahmood Sharif, Keane Lucas, Lujo Bauer, Michael K. Reiter, Saurabh Shintre
2019	A	`conf`	SBFT: A Scalable and Decentralized Trust Infrastructure. DSN Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu
2019	A*	`conf`	Statistical Privacy for Streaming Traffic. NDSS Xiaokuan Zhang, Jihun Hamm, Michael K. Reiter, Yinqian Zhang
2019	J	`jnl`	TASE: Reducing latency of symbolic execution with transactional memory. CoRR Adam Humphries, Kartik Cating-Subramanian, Michael K. Reiter
2019	J	`jnl`	n-ML: Mitigating Adversarial Examples via Ensembles of Topologically Manipulated Classifiers. CoRR Mahmood Sharif, Lujo Bauer, Michael K. Reiter
2019	J	`jnl`	n-m-Variant Systems: Adversarial-Resistant Software Rejuvenation for Cloud-Based Web Applications. CoRR Isaac Polinsky, Kyle Martin, William Enck, Michael K. Reiter
2018	J	`jnl`	Adversarial Generative Nets: Neural Network Attacks on State-of-the-Art Face Recognition. CoRR Mahmood Sharif, Sruti Bhagavatula, Lujo Bauer, Michael K. Reiter
2018	A*	`conf`	BEAT: Asynchronous BFT Made Practical. CCS Sisi Duan, Michael K. Reiter, Haibin Zhang
2018	A*	`conf`	Differentially Private Access Patterns for Searchable Symmetric Encryption. INFOCOM Guoxing Chen, Ten-Hwang Lai, Michael K. Reiter, Yinqian Zhang
2018	J	`jnl`	How to end password reuse on the web. CoRR Ke Coby Wang, Michael K. Reiter
2018	A	`conf`	Intent-driven composition of resource-management SDN applications. CoNEXT Victor Heorhiadi, Sanjay Chandrasekaran, Michael K. Reiter, Vyas Sekar
2018	J	`jnl`	On the Suitability of L CoRR Mahmood Sharif, Lujo Bauer, Michael K. Reiter
2018	—	`conf`	On the Suitability of Lp-Norms for Creating and Preventing Adversarial Examples. CVPR Workshops Mahmood Sharif, Lujo Bauer, Michael K. Reiter
2018	J	`jnl`	PwoP: Intrusion-Tolerant and Privacy-Preserving Sensor Fusion. IACR Cryptol. ePrint Arch. Chenglu Jin, Marten van Dijk, Michael K. Reiter, Haibin Zhang
2018	J	`jnl`	SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains. CoRR Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu
2018	A*	`conf`	Static Evaluation of Noninterference Using Approximate Model Counting. IEEE Symposium on Security and Privacy Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang
2017	Misc	`conf`	A System to Verify Network Behavior of Known Cryptographic Clients. NSDI Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton
2017	A	`conf`	Detecting Privileged Side-Channel Attacks in Shielded Execution with Déjà Vu. AsiaCCS Sanchuan Chen, Xiaokuan Zhang, Michael K. Reiter, Yinqian Zhang
2017	A	`conf`	Flow Reconnaissance via Timing Attacks on SDN Switches. ICDCS Sheng Liu, Michael K. Reiter, Vyas Sekar
2017	—	`conf`	On-Demand Time Blurring to Support Side-Channel Defense. ESORICS (2) Weijie Liu, Debin Gao, Michael K. Reiter
2017	J	`jnl`	Personalized Pseudonyms for Servers in the Cloud. Proc. Priv. Enhancing Technol. Qiuyu Xiao, Michael K. Reiter, Yinqian Zhang
2017	J	`jnl`	Rethinking Security in the Era of Cloud Computing. IEEE Secur. Priv. Jay Aikat, Aditya Akella, Jeffrey S. Chase, Ari Juels, Michael K. Reiter, Thomas Ristenpart, Vyas Sekar, Michael M. Swift
2017	A	`conf`	Secure Causal Atomic Broadcast, Revisited. DSN Sisi Duan, Michael K. Reiter, Haibin Zhang
2017	J	`jnl`	To Permit or Not to Permit, That is the Usability Question: Crowdsourcing Mobile Apps' Privacy Permission Settings. Proc. Priv. Enhancing Technol. Qatrunnada Ismail, Tousif Ahmed, Kelly Caine, Apu Kapadia, Michael K. Reiter
2016	A*	`conf`	A Software Approach to Defeating Side Channels in Last-Level Caches. CCS Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang
2016	J	`jnl`	A software approach to defeating side channels in last-level caches. CoRR Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang
2016	A*	`conf`	Accessorize to a Crime: Real and Stealthy Attacks on State-of-the-Art Face Recognition. CCS Mahmood Sharif, Sruti Bhagavatula, Lujo Bauer, Michael K. Reiter
2016	A*	`conf`	CCSW'16: 8th ACM Cloud Computing Security Workshop. CCS Elli Androulaki, Michael K. Reiter
2016	A	`conf`	Education Modules for Networking, Cloud Computing, and Security in Systems Courses. SIGCSE Jay Aikat, Michael K. Reiter, Kevin Jeffay
2016	A	`conf`	Gremlin: Systematic Resilience Testing of Microservices. ICDCS Victor Heorhiadi, Shriram Rajagopalan, Hani Jamjoom, Michael K. Reiter, Vyas Sekar
2016	—	`conf`	Introducing Reputation Systems to the Economics of Outsourcing Computations to Rational Workers. Financial Cryptography Jassim Aljuraidan, Lujo Bauer, Michael K. Reiter, Matthias Beckerle
2016	—	`ed.`	Proceedings of the 2016 ACM on Cloud Computing Security Workshop, CCSW 2016, Vienna, Austria, October 28, 2016 CCSW Edgar R. Weippl, Stefan Katzenbeisser, Mathias Payer, Stefan Mangard, Elli Androulaki, Michael K. Reiter
2016	J	`jnl`	Server-side verification of client behavior in cryptographic protocols. CoRR Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton
2016	Misc	`conf`	Simplifying Software-Defined Network Optimization Using SOL. NSDI Victor Heorhiadi, Michael K. Reiter, Vyas Sekar
2016	A*	`conf`	Stealing Machine Learning Models via Prediction APIs. USENIX Security Symposium Florian Tramèr, Fan Zhang, Ari Juels, Michael K. Reiter, Thomas Ristenpart
2016	J	`jnl`	Stealing Machine Learning Models via Prediction APIs. CoRR Florian Tramèr, Fan Zhang, Ari Juels, Michael K. Reiter, Thomas Ristenpart
2015	J	`jnl`	Accelerating the Development of Software-Defined Network Optimization Applications Using SOL. CoRR Victor Heorhiadi, Michael K. Reiter, Vyas Sekar
2015	—	`conf`	Caesar: High-Speed and Memory-Efficient Forwarding Engine for Future Internet Architecture. ANCS Mehrdad Moradi, Feng Qian, Qiang Xu, Zhuoqing Morley Mao, Darrell Bethea, Michael K. Reiter
2015	A*	`conf`	Crowdsourced Exploration of Security Configurations. CHI Qatrunnada Ismail, Tousif Ahmed, Apu Kapadia, Michael K. Reiter
2015	B	`ed.`	Cryptology and Network Security - 14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015, Proceedings CANS Michael K. Reiter, David Naccache
2015	A*	`conf`	Mitigating Storage Side Channels Using Statistical Privacy Mechanisms. CCS Qiuyu Xiao, Michael K. Reiter, Yinqian Zhang
2015	A*	`conf`	Nomad: Mitigating Arbitrary Cloud Side Channels via Provider-Assisted Migration. CCS Soo-Jin Moon, Vyas Sekar, Michael K. Reiter
2015	A	`conf`	Replica Placement for Availability in the Worst Case. ICDCS Peng Li, Debin Gao, Michael K. Reiter
2015	—	`conf`	Side Channels in Multi-Tenant Environments. CCSW Michael K. Reiter
2015	J	`jnl`	Toward practical encrypted email that supports private, regular-expression searches. Int. J. Inf. Sec. Lei Wei, Michael K. Reiter
2015	A	`conf`	Usability of Augmented Reality for Revealing Secret Messages to Users but Not Their Devices. SOUPS Sarah J. Andrabi, Michael K. Reiter, Cynthia Sturton
2015	—	`conf`	WACCO and LOKO: Strong Consistency at Global Scale. CIC Darrell Bethea, Michael K. Reiter, Feng Qian, Qiang Xu, Zhuoqing Morley Mao
2014	A*	`conf`	An Epidemiological Study of Malware Encounters in a Large Enterprise. CCS Ting-Fang Yen, Victor Heorhiadi, Alina Oprea, Michael K. Reiter, Ari Juels
2014	A*	`conf`	Cross-Tenant Side-Channel Attacks in PaaS Clouds. CCS Yinqian Zhang, Ari Juels, Michael K. Reiter, Thomas Ristenpart
2014	C	`conf`	Defending against device theft with human notarization. CollaborateCom Alana Libonati, Kelly Caine, Apu Kapadia, Michael K. Reiter
2014	J	`jnl`	Privacy preserving interactive record linkage (PPIRL). J. Am. Medical Informatics Assoc. Hye-Chung Kum, Ashok K. Krishnamurthy, Ashwin Machanavajjhala, Michael K. Reiter, Stanley C. Ahalt
2014	Misc	`conf`	SNIPS: A Software-Defined Approach for Scaling Intrusion Prevention Systems via Offloading. ICISS Victor Heorhiadi, Seyed Kaveh Fayaz, Michael K. Reiter, Vyas Sekar
2014	J	`jnl`	StopWatch: A Cloud Architecture for Timing Channel Mitigation. ACM Trans. Inf. Syst. Secur. Peng Li, Debin Gao, Michael K. Reiter
2014	A	`conf`	Toward strong, usable access control for shared distributed data. FAST Michelle L. Mazurek, Yuan Liang, William Melicher, Manya Sleeper, Lujo Bauer, Gregory R. Ganger, Nitin Gupta, Michael K. Reiter
2013	A*	`conf`	Düppel: retrofitting commodity operating systems to mitigate cache side channels in the cloud. CCS Yinqian Zhang, Michael K. Reiter
2013	A	`conf`	Ensuring File Authenticity in Private DFA Evaluation on Encrypted Files in the Cloud. ESORICS Lei Wei, Michael K. Reiter
2013	A	`conf`	Mitigating access-driven timing channels in clouds using StopWatch. DSN Peng Li, Debin Gao, Michael K. Reiter
2013	—	`conf`	Secure Decoupled Linkage (SDLink) system for building a social genome. IEEE BigData Hye-Chung Kum, Ashok Kumar Krishnamurthy, Darshana Pathak, Michael K. Reiter, Stanley C. Ahalt
2013	—	`conf`	The post anachronism: the temporal dimension of facebook privacy. WPES Lujo Bauer, Lorrie Faith Cranor, Saranga Komanduri, Michelle L. Mazurek, Michael K. Reiter, Manya Sleeper, Blase Ur
2013	A*	`conf`	Toward Online Verification of Client Behavior in Distributed Applications. NDSS Robert A. Cochran, Michael K. Reiter
2013	—	`conf`	Verifiable network function outsourcing: requirements, challenges, and roadmap. HotMiddlebox@CoNEXT Seyed Kaveh Fayazbakhsh, Michael K. Reiter, Vyas Sekar
2012	J	`jnl`	BAF and FI-BAF: Efficient and Publicly Verifiable Cryptographic Schemes for Secure Logging in Resource-Constrained Systems. ACM Trans. Inf. Syst. Secur. Attila Altay Yavuz, Peng Ning, Michael K. Reiter
2012	A*	`conf`	Cross-VM side channels and their use to extract private keys. CCS Yinqian Zhang, Ari Juels, Michael K. Reiter, Thomas Ristenpart
2012	Misc	`conf`	Design and Implementation of a Consolidated Middlebox Architecture. NSDI Vyas Sekar, Norbert Egi, Sylvia Ratnasamy, Michael K. Reiter, Guangyu Shi
2012	—	`conf`	Discovering access-control misconfigurations: new approaches and evaluation methodologies. CODASPY Lujo Bauer, Yuan Liang, Michael K. Reiter, Chad Spensky
2012	—	`conf`	Efficient, Compromise Resilient and Append-Only Cryptographic Schemes for Secure Audit Logging. Financial Cryptography Attila Altay Yavuz, Peng Ning, Michael K. Reiter
2012	J	`jnl`	File system virtual appliances: Portable file system implementations. ACM Trans. Storage Michael Abd-El-Malek, Matthew Wachs, James Cipar, Karan Sanghi, Gregory R. Ganger, Garth A. Gibson, Michael K. Reiter
2012	A	`conf`	New opportunities for load balancing in network-wide intrusion detection systems. CoNEXT Victor Heorhiadi, Michael K. Reiter, Vyas Sekar
2012	C	`conf`	Out of sight, out of mind: Effects of displaying access-control information near the item it controls. PST Kami Vaniea, Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter
2012	—	`conf`	Revisiting Botnet Models and Their Implications for Takedown Strategies. POST Ting-Fang Yen, Michael K. Reiter
2012	A*	`conf`	Tag, you can see it!: using tags for access control in photo sharing. CHI Peter F. Klemperer, Yuan Liang, Michelle L. Mazurek, Manya Sleeper, Blase Ur, Lujo Bauer, Lorrie Faith Cranor, Nitin Gupta, Michael K. Reiter
2012	A	`conf`	Third-Party Private DFA Evaluation on Encrypted Files in the Cloud. ESORICS Lei Wei, Michael K. Reiter
2012	J	`jnl`	Understanding domain registration abuses. Comput. Secur. Scott E. Coull, Andrew M. White, Ting-Fang Yen, Fabian Monrose, Michael K. Reiter
2011	A	`conf`	Amplifying limited expert input to sanitize large network traces. DSN Xin Huang, Fabian Monrose, Michael K. Reiter
2011	J	`jnl`	Bounded Vector Signatures and their Applications. IACR Cryptol. ePrint Arch. Lei Wei, Scott E. Coull, Michael K. Reiter
2011	A	`conf`	Bounded vector signatures and their applications. AsiaCCS Lei Wei, Scott E. Coull, Michael K. Reiter
2011	J	`jnl`	Detecting and resolving policy misconfigurations in access-control systems. ACM Trans. Inf. Syst. Secur. Lujo Bauer, Scott Garriss, Michael K. Reiter
2011	J	`jnl`	False data injection attacks against state estimation in electric power grids. ACM Trans. Inf. Syst. Secur. Yao Liu, Peng Ning, Michael K. Reiter
2011	A*	`conf`	HomeAlone: Co-residency Detection in the Cloud via Side-Channel Analysis. IEEE Symposium on Security and Privacy Yinqian Zhang, Ari Juels, Alina Oprea, Michael K. Reiter
2011	A*	`conf`	More than skin deep: measuring effects of the underlying model on access-control system usability. CHI Robert W. Reeder, Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter, Kami Vaniea
2011	J	`jnl`	Server-side verification of client behavior in online games. ACM Trans. Inf. Syst. Secur. Darrell Bethea, Robert A. Cochran, Michael K. Reiter
2011	Misc	`conf`	The middlebox manifesto: enabling innovation in middlebox deployment. HotNets Vyas Sekar, Sylvia Ratnasamy, Michael K. Reiter, Norbert Egi, Guangyu Shi
2011	A*	`conf`	Usability Testing a Malware-Resistant Input Mechanism. NDSS Alana Libonati, Jonathan M. McCune, Michael K. Reiter
2010	A*	`conf`	Access control for home data sharing: evaluating social acceptability. CHI 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	A	`conf`	Are Your Hosts Trading or Plotting? Telling P2P File-Sharing and Bots Apart. ICDCS Ting-Fang Yen, Michael K. Reiter
2010	A	`conf`	Network-wide deployment of intrusion detection and prevention systems. CoNEXT Vyas Sekar, Ravishankar Krishnaswamy, Anupam Gupta, Michael K. Reiter
2010	A	`conf`	On Challenges in Evaluating Malware Clustering. RAID Peng Li, Limin Liu, Debin Gao, Michael K. Reiter
2010	A	`conf`	Revisiting the case for a minimalist approach for network flow monitoring. Internet Measurement Conference Vyas Sekar, Michael K. Reiter, Hui Zhang
2010	—	`conf`	Selected Results from the Latest Decade of Quorum Systems Research. Replication Michael G. Merideth, Michael K. Reiter
2010	A*	`conf`	Server-side Verification of Client Behavior in Online Games. NDSS Darrell Bethea, Robert A. Cochran, Michael K. Reiter
2010	C	`conf`	Summary-Invisible Networking: Techniques and Defenses. ISC Lei Wei, Michael K. Reiter, Ketan Mayer-Patel
2010	A*	`conf`	The security of modern password expiration: an algorithmic framework and empirical analysis. CCS Yinqian Zhang, Fabian Monrose, Michael K. Reiter
2010	Misc	`conf`	Understanding Domain Registration Abuses. SEC Scott E. Coull, Andrew M. White, Ting-Fang Yen, Fabian Monrose, Michael K. Reiter
2010	J	`jnl`	Using Web-Referral Architectures to Mitigate Denial-of-Service Threats. IEEE Trans. Dependable Secur. Comput. Xiaofeng Wang, Michael K. Reiter
2010	A	`conf`	Zzyzx: Scalable fault tolerance through Byzantine locking. DSN James Hendricks, Shafeeq Sinnamohideen, Gregory R. Ganger, Michael K. Reiter
2009	A	`conf`	Automatically Adapting a Trained Anomaly Detector to Software Patches. RAID Peng Li, Debin Gao, Michael K. Reiter
2009	A	`conf`	Better Architectures and New Security Applications for Network Monitoring. ICDCS Michael K. Reiter
2009	J	`jnl`	Beyond Output Voting: Detecting Compromised Replicas Using HMM-Based Behavioral Distance. IEEE Trans. Dependable Secur. Comput. Debin Gao, Michael K. Reiter, Dawn Xiaodong Song
2009	B	`conf`	Browser Fingerprinting from Coarse Traffic Summaries: Techniques and Implications. DIMVA Ting-Fang Yen, Xin Huang, Fabian Monrose, Michael K. Reiter
2009	A	`conf`	Data Structures with Unpredictable Timing. ESORICS Darrell Bethea, Michael K. Reiter
2009	A*	`conf`	False data injection attacks against state estimation in electric power grids. CCS Yao Liu, Michael K. Reiter, Peng Ning
2009	Misc	`conf`	Making Peer-Assisted Content Distribution Robust to Collusion Using Bandwidth Puzzles. ICISS Michael K. Reiter, Vyas Sekar, Chad Spensky, Zhenghao Zhang
2009	A*	`conf`	Privacy-preserving genomic computation through program specialization. CCS Rui Wang, Xiaofeng Wang, Zhou Li, Haixu Tang, Michael K. Reiter, Zheng Dong
2009	A*	`conf`	Real life challenges in access-control management. CHI Lujo Bauer, Lorrie Faith Cranor, Robert W. Reeder, Michael K. Reiter, Kami Vaniea
2009	A*	`conf`	Safe Passage for Passwords and Other Sensitive Data. NDSS Jonathan M. McCune, Adrian Perrig, Michael K. Reiter
2009	J	`jnl`	Seeing-Is-Believing: using camera phones for human-verifiable authentication. Int. J. Secur. Networks Jonathan M. McCune, Adrian Perrig, Michael K. Reiter
2009	B	`conf`	When and How to Change Quorums on Wide Area Networks. SRDS Michael G. Merideth, Florian Oprea, Michael K. Reiter
2009	C	`conf`	xDomain: cross-border proofs of access. SACMAT Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey
2008	J	`jnl`	A multi-layer framework for puzzle-based denial-of-service defense. Int. J. Inf. Sec. Xiaofeng Wang, Michael K. Reiter
2008	A*	`conf`	A user study of policy creation in a flexible access-control system. CHI Lujo Bauer, Lorrie Faith Cranor, Robert W. Reeder, Michael K. Reiter, Kami Vaniea
2008	A	`conf`	AGIS: Towards automatic generation of infection signatures. DSN Zhuowei Li, Xiaofeng Wang, Zhenkai Liang, Michael K. Reiter
2008	C	`conf`	BinHunt: Automatically Finding Semantic Differences in Binary Programs. ICICS Debin Gao, Michael K. Reiter, Dawn Xiaodong Song
2008	C	`conf`	Detecting and resolving policy misconfigurations in access-control systems. SACMAT Lujo Bauer, Scott Garriss, Michael K. Reiter
2008	A*	`conf`	Expandable grids for visualizing and authoring computer security policies. CHI Robert W. Reeder, Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter, Kelli Bacon, Keisha How, Heather Strong
2008	J	`jnl`	Fast and Black-box Exploit Detection and Signature Generation for Commodity Software. ACM Trans. Inf. Syst. Secur. Xiaofeng Wang, Zhuowei Li, Jong Youl Choi, Jun Xu, Michael K. Reiter, Chongkyung Kil
2008	A	`conf`	Flicker: an execution infrastructure for tcb minimization. EuroSys Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Hiroshi Isozaki
2008	A*	`conf`	How low can you go?: recommendations for hardware-supported minimal TCB code execution. ASPLOS Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri
2008	C	`conf`	Keynote: Trustworthy Services and the Biological Analogy. SSS Michael K. Reiter
2008	A	`conf`	On the Limits of Payload-Oblivious Network Attack Detection. RAID M. Patrick Collins, Michael K. Reiter
2008	J	`jnl`	Quiver: Consistent and Scalable Object Sharing for Edge Services. IEEE Trans. Parallel Distributed Syst. Michael K. Reiter, Asad Samar
2008	A	`conf`	Self-optimizing distributed trees. IPDPS Michael K. Reiter, Asad Samar, Chenxi Wang
2008	A*	`conf`	Taming the Devil: Techniques for Evaluating Anonymized Network Data. NDSS Scott E. Coull, Charles V. Wright, Angelos D. Keromytis, Fabian Monrose, Michael K. Reiter
2008	A*	`conf`	The Practical Subtleties of Biometric Key Generation. USENIX Security Symposium Lucas Ballard, Seny Kamara, Michael K. Reiter
2008	A*	`conf`	Towards practical biometric key generation with randomized biometric templates. CCS Lucas Ballard, Seny Kamara, Fabian Monrose, Michael K. Reiter
2008	B	`conf`	Traffic Aggregation for Malware Detection. DIMVA Ting-Fang Yen, Michael K. Reiter
2008	B	`conf`	Write Markers for Probabilistic Quorum Systems. OPODIS Michael G. Merideth, Michael K. Reiter
2008	Misc	`conf`	cSamp: A System for Network-Wide Flow Monitoring. NSDI Vyas Sekar, Michael K. Reiter, Walter Willinger, Hui Zhang, Ramana Rao Kompella, David G. Andersen
2007	A*	`conf`	Consumable Credentials in Linear-Logic-Based Access-Control Systems. NDSS Kevin D. Bowers, Lujo Bauer, Deepak Garg, Frank Pfenning, Michael K. Reiter
2007	A	`conf`	Efficient Proving for Practical Distributed Access-Control Systems. ESORICS Lujo Bauer, Scott Garriss, Michael K. Reiter
2007	A	`conf`	Hit-List Worm Detection and Bot Identification in Large Networks Using Protocol Graphs. RAID M. Patrick Collins, Michael K. Reiter
2007	A*	`conf`	Integrity Checking in Cryptographic File Systems with Constant Trusted Storage. USENIX Security Symposium Alina Oprea, Michael K. Reiter
2007	A	`conf`	Lessons learned from the deployment of a smartphone-based access-control system. SOUPS Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter, Kami Vaniea
2007	A*	`conf`	Low-overhead byzantine fault-tolerant storage. SOSP James Hendricks, Gregory R. Ganger, Michael K. Reiter
2007	—	`conf`	Minimal TCB Code Execution. S&P Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri
2007	A	`conf`	Minimizing Response Time for Quorum-System Protocols over Wide-Area Networks. DSN Florian Oprea, Michael K. Reiter
2007	A*	`conf`	On Web Browsing Privacy in Anonymized NetFlows. USENIX Security Symposium Scott E. Coull, Michael P. Collins, Charles V. Wright, Fabian Monrose, Michael K. Reiter
2007	A*	`conf`	Playing Devil's Advocate: Inferring Sensitive Information from Anonymized Network Traces. NDSS Scott E. Coull, Charles V. Wright, Fabian Monrose, Michael P. Collins, Michael K. Reiter
2007	A	`conf`	Probabilistic Opaque Quorum Systems. DISC Michael G. Merideth, Michael K. Reiter
2007	A	`conf`	Trustworthy Services and the Biological Analogy. ESORICS Michael K. Reiter
2007	A*	`conf`	Verifying distributed erasure-coded data. PODC James Hendricks, Gregory R. Ganger, Michael K. Reiter
2006	A	`conf`	A Linear Logic of Authorization and Knowledge. ESORICS Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter
2006	A	`conf`	A Multi-Resolution Approach for Worm Detection and Containment. DSN Vyas Sekar, Yinglian Xie, Michael K. Reiter, Hui Zhang
2006	A	`conf`	Behavioral Distance Measurement Using Hidden Markov Models. RAID Debin Gao, Michael K. Reiter, Dawn Xiaodong Song
2006	—	`conf`	Bump in the Ether: A Framework for Securing Sensitive User Input. USENIX ATC, General Track Jonathan M. McCune, Adrian Perrig, Michael K. Reiter
2006	A	`conf`	Finding Peer-to-Peer File-Sharing Using Coarse Network Behaviors. ESORICS Michael P. Collins, Michael K. Reiter
2006	B	`conf`	Forensic Analysis for Epidemic Attacks in Federated Networks. ICNP Yinglian Xie, Vyas Sekar, Michael K. Reiter, Hui Zhang
2006	A	`conf`	M2: Multicasting Mixes for Efficient and Anonymous Communication. ICDCS Ginger Perng, Michael K. Reiter, Chenxi Wang
2006	A	`conf`	On Consistency of Encrypted Files. DISC Alina Oprea, Michael K. Reiter
2006	A*	`conf`	Packet vaccine: black-box exploit detection and signature generation. CCS Xiaofeng Wang, Zhuowei Li, Jun Xu, Michael K. Reiter, Chongkyung Kil, Jong Youl Choi
2006	A	`conf`	Protecting Privacy in Key-Value Search Systems. ACSAC Yinglian Xie, Michael K. Reiter, David R. O'Hallaron
2006	A*	`conf`	Quorum placement in networks: minimizing network congestion. PODC Daniel Golovin, Anupam Gupta, Bruce M. Maggs, Florian Oprea, Michael K. Reiter
2006	—	`conf`	Towards bounded wait-free PASIS. From Security to Dependability Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie
2006	B	`conf`	WRAPS: Denial-of-Service Defense through Web Referrals. SRDS Xiaofeng Wang, Michael K. Reiter
2005	A	`conf`	Behavioral Distance for Intrusion Detection. RAID Debin Gao, Michael K. Reiter, Dawn Xiaodong Song
2005	B	`conf`	Building Reliable Mix Networks with Fair Exchange. ACNS Michael K. Reiter, Xiaofeng Wang, Matthew K. Wright
2005	—	`conf`	Censorship Resistance Revisited. Information Hiding Ginger Perng, Michael K. Reiter, Chenxi Wang
2005	—	`conf`	Detection of Denial-of-Message Attacks on Sensor Network Broadcasts. S&P Jonathan M. McCune, Elaine Shi, Adrian Perrig, Michael K. Reiter
2005	C	`conf`	Device-Enabled Authorization in the Grey-System. ISC Lujo Bauer, Scott Garriss, Jonathan M. McCune, Michael K. Reiter, Jason Rouse, Peter Rutenbar
2005	B	`conf`	Distributed Construction of a Fault-Tolerant Network from a Tree. SRDS Michael K. Reiter, Asad Samar, Chenxi Wang
2005	—	`conf`	Distributed Proving in Access-Control Systems. S&P Lujo Bauer, Scott Garriss, Michael K. Reiter
2005	A*	`conf`	Fault-scalable Byzantine fault-tolerant services. SOSP Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie
2005	B	`conf`	Lazy Verification in Fault-Tolerant Distributed Storage Systems. SRDS Michael Abd-El-Malek, Gregory R. Ganger, Michael K. Reiter, Jay J. Wylie, Garth R. Goodson
2005	A*	`ed.`	Proceedings 6th ACM Conference on Electronic Commerce (EC-2005), Vancouver, BC, Canada, June 5-8, 2005 EC John Riedl, Michael J. Kearns, Michael K. Reiter
2005	A*	`conf`	Quorum placement in networks to minimize access delays. PODC Anupam Gupta, Bruce M. Maggs, Florian Oprea, Michael K. Reiter
2005	—	`conf`	Seeing-Is-Believing: Using Camera Phones for Human-Verifiable Authentication. S&P Jonathan M. McCune, Adrian Perrig, Michael K. Reiter
2005	A*	`conf`	Space-Efficient Block Storage Integrity. NDSS Alina Oprea, Michael K. Reiter
2005	—	`conf`	Worm Origin Identification Using Random Moonwalks. S&P Yinglian Xie, Vyas Sekar, David A. Maltz, Michael K. Reiter, Hui Zhang
2004	B	`conf`	Alternatives to Non-malleability: Definitions, Constructions, and Applications (Extended Abstract). TCC Philip D. MacKenzie, Michael K. Reiter, Ke Yang
2004	—	`conf`	An Empirical Analysis of Target-Resident DoS Filters. S&P Michael P. Collins, Michael K. Reiter
2004	A	`conf`	Efficient Byzantine-Tolerant Erasure-Coded Storage. DSN Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter
2004	A*	`conf`	Fragile mixing. CCS Michael K. Reiter, Xiaofeng Wang
2004	A*	`conf`	Gray-box extraction of execution graphs for anomaly detection. CCS Debin Gao, Michael K. Reiter, Dawn Xiaodong Song
2004	J	`jnl`	Homeland Security. IEEE Internet Comput. Michael K. Reiter, Pankaj Rohatgi
2004	A*	`conf`	Mitigating bandwidth-exhaustion attacks using congestion puzzles. CCS Xiaofeng Wang, Michael K. Reiter
2004	B	`conf`	Nested Objects in a Byzantine Quorum-Replicated System. SRDS Charles P. Fry, Michael K. Reiter
2004	A*	`conf`	On Gray-Box Program Tracking for Anomaly Detection. USENIX Security Symposium Debin Gao, Michael K. Reiter, Dawn Xiaodong Song
2004	A*	`conf`	On User Choice in Graphical Password Schemes. USENIX Security Symposium Darren Davis, Fabian Monrose, Michael K. Reiter
2004	B	`conf`	Private Keyword-Based Push and Pull with Applications to Anonymous Communication. ACNS Lea Kissner, Alina Oprea, Michael K. Reiter, Dawn Xiaodong Song, Ke Yang
2004	Misc	`conf`	Security by, and for, Converged Mobile Devices. ICISC Michael K. Reiter
2004	A	`conf`	Seurat: A Pointillist Approach to Anomaly Detection. RAID Yinglian Xie, Hyang-Ah Kim, David R. O'Hallaron, Michael K. Reiter, Hui Zhang
2004	C	`conf`	Time-Scoped Searching of Encrypted Audit Logs. ICICS Darren Davis, Fabian Monrose, Michael K. Reiter
2004	—	`conf`	Timing Attacks in Low-Latency Mix Systems (Extended Abstract). Financial Cryptography Brian Neil Levine, Michael K. Reiter, Chenxi Wang, Matthew K. Wright
2004	J	`jnl`	Two-party generation of DSA signatures. Int. J. Inf. Sec. Philip D. MacKenzie, Michael K. Reiter
2003	A*	`conf`	Automatic generation of two-party computations. CCS Philip D. MacKenzie, Alina Oprea, Michael K. Reiter
2003	—	`conf`	Defending Against Denial-of-Service Attacks with Puzzle Auction. S&P Xiaofeng Wang, Michael K. Reiter
2003	J	`jnl`	Delegation of cryptographic servers for capture-resilient devices. Distributed Comput. Philip D. MacKenzie, Michael K. Reiter
2003	J	`jnl`	Diffusion without false rumors: on propagating updates in a Byzantine environment. Theor. Comput. Sci. Dahlia Malkhi, Yishay Mansour, Michael K. Reiter
2003	J	`jnl`	Networked cryptographic devices resilient to capture. Int. J. Inf. Sec. Philip D. MacKenzie, Michael K. Reiter
2003	J	`jnl`	Objects shared by Byzantine processes. Distributed Comput. Dahlia Malkhi, Michael Merritt, Michael K. Reiter, Gadi Taubenfeld
2003	B	`conf`	The Design and Implementation of a JCA-Compliant Capture Protection Infrastructure. SRDS Michael K. Reiter, Asad Samar, Chenxi Wang
2002	A	`conf`	A Secure Distributed Search System. HPDC Yinglian Xie, David R. O'Hallaron, Michael K. Reiter
2002	J	`jnl`	Advanced concurrency control in Java. Concurr. Comput. Pract. Exp. Pascal Felber, Michael K. Reiter
2002	J	`jnl`	Password hardening based on keystroke dynamics. Int. J. Inf. Sec. Fabian Monrose, Michael K. Reiter, Susanne Wetzel
2002	A*	`conf`	Toward Speech-Generated Cryptographic Keys on Resource-Constrained Devices. USENIX Security Symposium Fabian Monrose, Michael K. Reiter, Qi Li, Daniel P. Lopresti, Chilin Shih
2001	J	`jnl`	An authorization model for a public key management service. ACM Trans. Inf. Syst. Secur. Pierangela Samarati, Michael K. Reiter, Sushil Jajodia
2001	A	`conf`	Backoff Protocols for Distributed Mutual Exclusion and Ordering. ICDCS Gregory V. Chockler, Dahlia Malkhi, Michael K. Reiter
2001	A*	`ed.`	CCS 2001, Proceedings of the 8th ACM Conference on Computer and Communications Security, Philadelphia, Pennsylvania, USA, November 6-8, 2001. CCS Michael K. Reiter, Pierangela Samarati
2001	—	`conf`	Cryptographic Key Generation from Voice. S&P Fabian Monrose, Michael K. Reiter, Qi Li, Susanne Wetzel
2001	A*	`conf`	Delegation of cryptographic servers for capture-resilient devices. CCS Philip D. MacKenzie, Michael K. Reiter
2001	—	`conf`	Discouraging Software Piracy Using Software Aging. Digital Rights Management Workshop Markus Jakobsson, Michael K. Reiter
2001	B	`conf`	Efficient Update Diffusion in Byzantine Environments. SRDS Dahlia Malkhi, Ohad Rodeh, Michael K. Reiter, Yaron Sella
2001	J	`jnl`	Fault Detection for Byzantine Quorum Systems. IEEE Trans. Parallel Distributed Syst. Lorenzo Alvisi, Dahlia Malkhi, Evelyn Tumlin Pierce, Michael K. Reiter
2001	—	`conf`	Networked Cryptographic Devices Resilient to Capture. S&P Philip D. MacKenzie, Michael K. Reiter
2001	J	`jnl`	On k-Set Consensus Problems in Asynchronous Systems. IEEE Trans. Parallel Distributed Syst. Roberto De Prisco, Dahlia Malkhi, Michael K. Reiter
2001	J	`jnl`	Probabilistic Quorum Systems. Inf. Comput. Dahlia Malkhi, Michael K. Reiter, Avishai Wool, Rebecca N. Wright
2001	A*	`conf`	Selective private function evaluation with applications to private statistics. PODC Ran Canetti, Yuval Ishai, Ravi Kumar, Michael K. Reiter, Ronitt Rubinfeld, Rebecca N. Wright
2001	A*	`conf`	Two-Party Generation of DSA Signatures. CRYPTO Philip D. MacKenzie, Michael K. Reiter
2001	—	`conf`	Using voice to generate cryptographic keys. Odyssey Fabian Monrose, Michael K. Reiter, Qi Li, Susanne Wetzel
2000	J	`jnl`	An Architecture for Survivable Coordination in Large Distributed Systems. IEEE Trans. Knowl. Data Eng. Dahlia Malkhi, Michael K. Reiter
2000	A	`conf`	Dynamic Byzantine Quorum Systems. DSN Lorenzo Alvisi, Evelyn Tumlin Pierce, Dahlia Malkhi, Michael K. Reiter, Rebecca N. Wright
2000	A	`conf`	Objects Shared by Byzantine Processes. DISC Dahlia Malkhi, Michael Merritt, Michael K. Reiter, Gadi Taubenfeld
2000	A*	`conf`	Privacy-preserving global customization. EC Robert M. Arlein, Ben Jai, Markus Jakobsson, Fabian Monrose, Michael K. Reiter
2000	J	`jnl`	Secure Execution of Java Applets Using a Remote Playground. IEEE Trans. Software Eng. Dahlia Malkhi, Michael K. Reiter
2000	J	`jnl`	The Load and Availability of Byzantine Quorum Systems. SIAM J. Comput. Dahlia Malkhi, Michael K. Reiter, Avishai Wool
2000	A*	`conf`	Which PKI (public key infrastructure) is the right one? (panel session). CCS Carlisle M. Adams, Mike Burmester, Yvo Desmedt, Michael K. Reiter, Philip R. Zimmermann
1999	J	`jnl`	Anonymous Web Transactions with Crowds. Commun. ACM Michael K. Reiter, Aviel D. Rubin
1999	J	`jnl`	Authentication Metric Analysis and Design. ACM Trans. Inf. Syst. Secur. Michael K. Reiter, Stuart G. Stubblebine
1999	J	`jnl`	High-Confidence Distributed Systems - Guest Editor's Introduction. IEEE Internet Comput. Michael K. Reiter
1999	A*	`conf`	On PODC Roberto De Prisco, Dahlia Malkhi, Michael K. Reiter
1999	B	`conf`	On Diffusing Updates in a Byzantine Environment. SRDS Dahlia Malkhi, Yishay Mansour, Michael K. Reiter
1999	J	`jnl`	On Propagating Updates in a Byzantine Environment CoRR Dahlia Malkhi, Yishay Mansour, Michael K. Reiter
1999	J	`jnl`	On the Security of Pay-per-Click and Other Web Advertising Schemes. Comput. Networks Vinod Anupam, Alain J. Mayer, Kobbi Nissim, Benny Pinkas, Michael K. Reiter
1999	A*	`conf`	Password Hardening Based on Keystroke Dynamics. CCS Fabian Monrose, Michael K. Reiter, Susanne Wetzel
1999	J	`jnl`	Secure Execution of Java Applets using a Remote Playground CoRR Dahlia Malkhi, Michael K. Reiter
1999	A*	`conf`	The Design and Analysis of Graphical Passwords. USENIX Security Symposium Ian Jermyn, Alain J. Mayer, Fabian Monrose, Michael K. Reiter, Aviel D. Rubin
1999	J	`jnl`	The Load and Availability of Byzantine Quorum Systems CoRR Dahlia Malkhi, Michael K. Reiter, Avishai Wool
1998	J	`jnl`	Byzantine Quorum Systems. Distributed Comput. Dahlia Malkhi, Michael K. Reiter
1998	A*	`ed.`	CCS '98, Proceedings of the 5th ACM Conference on Computer and Communications Security, San Francisco, CA, USA, November 3-5, 1998. CCS Li Gong, Michael K. Reiter
1998	J	`jnl`	Crowds: Anonymity for Web Transactions. ACM Trans. Inf. Syst. Secur. Michael K. Reiter, Aviel D. Rubin
1998	—	`conf`	Detecting Hit Shaving in Click-Through Payment Schemes. USENIX Workshop on Electronic Commerce Michael K. Reiter, Vinod Anupam, Alain J. Mayer
1998	A*	`conf`	Probabilistic Byzantine Quorum Systems. PODC Dahlia Malkhi, Michael K. Reiter, Avishai Wool, Rebecca N. Wright
1998	J	`jnl`	Resilient Authentication Using Path Independence. IEEE Trans. Computers Michael K. Reiter, Stuart G. Stubblebine
1998	—	`conf`	Secure Execution of Java Applets using a Remote Playground. S&P Dahlia Malkhi, Michael K. Reiter, Aviel D. Rubin
1998	B	`conf`	Secure and Scalable Replication in Phalanx. SRDS Dahlia Malkhi, Michael K. Reiter
1998	B	`conf`	Survivable Consensus Objects. SRDS Dahlia Malkhi, Michael K. Reiter
1997	J	`jnl`	A High-Throughput Secure Reliable Multicast Protocol. J. Comput. Secur. Dahlia Malkhi, Michael K. Reiter
1997	A*	`conf`	Byzantine Quorum Systems. STOC Dahlia Malkhi, Michael K. Reiter
1997	A*	`conf`	Fair Exchange with a Semi-Trusted Third Party (extended abstract). CCS Matthew K. Franklin, Michael K. Reiter
1997	A*	`conf`	Path Independence for Authentication in Large-Scale Systems. CCS Michael K. Reiter, Stuart G. Stubblebine
1997	A*	`conf`	Probabilistic Quorum Systems. PODC Dahlia Malkhi, Michael K. Reiter, Rebecca N. Wright
1997	A*	`conf`	The Load and Availability of Byzantine Quorum Systems. PODC Dahlia Malkhi, Michael K. Reiter, Avishai Wool
1997	—	`conf`	Toward Acceptable Metrics of Authentication. S&P Michael K. Reiter, Stuart G. Stubblebine
1997	—	`conf`	Unreliable Intrusion Detection in Distributed Computations. CSFW Dahlia Malkhi, Michael K. Reiter
1996	—	`conf`	A High-Throughput Secure Reliable Multicast Protocol. CSFW Dalia Malki, Michael K. Reiter
1996	J	`jnl`	A Secure Group Membership Protocol. IEEE Trans. Software Eng. Michael K. Reiter
1996	J	`jnl`	Distributed Trust with the Rampart Toolkit. Commun. ACM Michael K. Reiter
1996	A*	`conf`	Low-Exponent RSA with Related Messages. EUROCRYPT Don Coppersmith, Matthew K. Franklin, Jacques Patarin, Michael K. Reiter
1996	J	`jnl`	The Design and Implementation of a Secure Auction Service. IEEE Trans. Software Eng. Matthew K. Franklin, Michael K. Reiter
1996	A*	`conf`	The Omega Key Management Service. CCS Michael K. Reiter, Matthew K. Franklin, John B. Lacy, Rebecca N. Wright
1996	J	`jnl`	The Omega Key Management Service. J. Comput. Secur. Michael K. Reiter, Matthew K. Franklin, John B. Lacy, Rebecca N. Wright
1995	J	`jnl`	Securing Causal Relationships in Distributed Systems. Comput. J. Michael K. Reiter, Li Gong
1995	—	`conf`	The design and implementation of a secure auction service. S&P Matthew K. Franklin, Michael K. Reiter
1995	A*	`conf`	Verifiable Signature Sharing. EUROCRYPT Matthew K. Franklin, Michael K. Reiter
1994	J	`jnl`	A Security Architecture for Fault-Toerant Systems. ACM Trans. Comput. Syst. Michael K. Reiter, Kenneth P. Birman, Robbert van Renesse
1994	—	`conf`	A secure group membership protocol. S&P Michael K. Reiter
1994	J	`jnl`	How to Securely Replicate Services. ACM Trans. Program. Lang. Syst. Michael K. Reiter, Kenneth P. Birman
1994	A*	`conf`	Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart. CCS Michael K. Reiter
1994	—	`conf`	The Rampart Toolkit for Building High-Integrity Services. Dagstuhl Seminar on Distributed Systems Michael K. Reiter
1993	—	`—`	A Security Architecture for Fault-Tolerant Systems. Michael K. Reiter
1993	—	`conf`	Preventing denial and forgery of causal relationships in distributed systems. S&P Michael K. Reiter, Li Gong
1992	J	`jnl`	Integrating Security in a Group Oriented Distributed System (Abstract). ACM SIGOPS Oper. Syst. Rev. Michael K. Reiter
1992	—	`conf`	Integrating security in a group oriented distributed system. S&P Michael K. Reiter, Kenneth P. Birman, Li Gong