Michael K. Reiter

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 95

Top Venues

CoRR

USENIX Security Symposium

CCS

IACR Cryptol. ePrint Arch.

Publications

Jiarong Xing, Sophia Yoo, Xenofon Foukas, Daehyeok Kim, Michael K. Reiter
On the Criticality of Integrity Protection in 5G Fronthaul Networks. USENIX Security Symposium (2024)
Peiyao Sheng, Chenyuan Wu, Dahlia Malkhi, Michael K. Reiter, Chrysoula Stathakopoulou, Michael Wei, Maofan Yin
On Orchestrating Parallel Broadcasts for Distributed Ledgers. CoRR (2024)
Pranay Jain, Andrew C. Reed, Michael K. Reiter
Near-Optimal Constrained Padding for Object Retrievals with Dependencies. USENIX Security Symposium (2024)
Zonghao Huang, Lujo Bauer, Michael K. Reiter
The Impact of Exposed Passwords on Honeyword Efficacy. USENIX Security Symposium (2024)
Peiyao Sheng, Chenyuan Wu, Dahlia Malkhi, Michael K. Reiter, Chrysoula Stathakopoulou, Michael Wei, Maofan Yin
On Orchestrating Parallel Broadcasts for Distributed Ledgers. IACR Cryptol. ePrint Arch. 2024 (2024)
Hongbin Liu, Michael K. Reiter, Neil Zhenqiang Gong
Mudjacking: Patching Backdoor Vulnerabilities in Foundation Models. USENIX Security Symposium (2024)
Weili Wang, Jianyu Niu, Michael K. Reiter, Yinqian Zhang
Formally Verifying a Rollback-Prevention Protocol for TEEs. FORTE (2024)
Yujie Zhang, Neil Gong, Michael K. Reiter
Concealing Backdoor Model Updates in Federated Learning by Trigger-Optimized Data Poisoning. CoRR (2024)
Lulu Zhou, Zeyu Liu, Fan Zhang, Michael K. Reiter
CrudiTEE: A Stick-and-Carrot Approach to Building Trustworthy Cryptocurrency Wallets with TEEs. CoRR (2024)
Zonghao Huang, Neil Zhenqiang Gong, Michael K. Reiter
A General Framework for Data-Use Auditing of ML Models. CoRR (2024)
Hongbin Liu, Michael K. Reiter, Neil Zhenqiang Gong
Mudjacking: Patching Backdoor Vulnerabilities in Foundation Models. CoRR (2024)
Akhil Bandarupalli, Adithya Bhat, Saurabh Bagchi, Aniket Kate, Chen-Da Liu-Zhang, Michael K. Reiter
Delphi: Efficient Asynchronous Approximate Agreement for Distributed Oracles. CoRR (2024)
Carl E. Landwehr, Michael K. Reiter, Laurie A. Williams, Gene Tsudik, Trent Jaeger, Tadayoshi Kohno, Apu Kapadia
Looking Backwards (and Forwards): NSF Secure and Trustworthy Computing 20-Year Retrospective Panel Transcription. IEEE Secur. Priv. 21 (2) (2023)
Akhil Bandarupalli, Adithya Bhat, Saurabh Bagchi, Aniket Kate, Michael K. Reiter
HashRand: Efficient Asynchronous Random Beacon without Threshold Cryptographic Setup. IACR Cryptol. ePrint Arch. 2023 (2023)
Anrin Chakraborti, Giulia Fanti, Michael K. Reiter
Distance-Aware Private Set Intersection. USENIX Security Symposium (2023)
Adithya Bhat, Akhil Bandarupalli, Manish Nagaraj, Saurabh Bagchi, Aniket Kate, Michael K. Reiter
EESMR: Energy Efficient BFT - SMR for the masses. Middleware (2023)
Zonghao Huang, Lujo Bauer, Michael K. Reiter
The Impact of Exposed Passwords on Honeyword Efficacy. CoRR (2023)
Adithya Bhat, Akhil Bandarupalli, Saurabh Bagchi, Aniket Kate, Michael K. Reiter
The Unique Chain Rule and Its Applications. FC (1) (2023)
Andrew Chi, Blake Anderson, Michael K. Reiter
Prioritizing Remediation of Enterprise Hosts by Malware Execution Risk. ACSAC (2023)
Sheng Liu, Michael K. Reiter, Theophilus A. Benson
Nimble: Fast and Safe Migration of Network Functions. INFOCOM (2023)
Zonghao Huang, Neil Gong, Michael K. Reiter
Mendata: A Framework to Purify Manipulated Training Data. CoRR (2023)
Michael K. Reiter
Tackling Credential Abuse Together. CODASPY (2023)
Adithya Bhat, Akhil Bandarupalli, Manish Nagaraj, Saurabh Bagchi, Aniket Kate, Michael K. Reiter
EESMR: Energy Efficient BFT-SMR for the masses. CoRR (2023)
Keane Lucas, Samruddhi Pai, Weiran Lin, Lujo Bauer, Michael K. Reiter, Mahmood Sharif
Adversarial Training for Raw-Binary Malware Classifiers. USENIX Security Symposium (2023)
Weiran Lin, Keane Lucas, Neo Eyal, Lujo Bauer, Michael K. Reiter, Mahmood Sharif
Group-based Robustness: A General Framework for Customized Robustness in the Real World. CoRR (2023)
Andrew C. Reed, Michael K. Reiter
Optimally Hiding Object Sizes with Constrained Padding. CSF (2023)
Anrin Chakraborti, Michael K. Reiter
Privately Evaluating Region Overlaps with Applications to Collaborative Sensor Output Validation. EuroS&P (2023)
Sravya Yandamuri, Ittai Abraham, Kartik Nayak, Michael K. Reiter
Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption. OPODIS (2022)
Weiran Lin, Keane Lucas, Lujo Bauer, Michael K. Reiter, Mahmood Sharif
Constrained Gradient Descent: A Powerful and Principled Evasion Attack Against Neural Networks. ICML (2022)
Weili Wang, Sen Deng, Jianyu Niu, Michael K. Reiter, Yinqian Zhang
ENGRAFT: Enclave-guarded Raft on Byzantine Faulty Nodes. CCS (2022)
Xiaokuan Zhang, Jihun Hamm, Michael K. Reiter, Yinqian Zhang
Defeating traffic analysis via differential privacy: a case study on streaming traffic. Int. J. Inf. Sec. 21 (3) (2022)
Ke Coby Wang, Michael K. Reiter
Bernoulli honeywords. CoRR (2022)
Christopher M. Bender, Patrick Emmanuel, Michael K. Reiter, Junier Oliva
Practical Integration via Separable Bijective Networks. ICLR (2022)
Kai Wang, Lily Xu, Andrew Perrault, Michael K. Reiter, Milind Tambe
Coordinating Followers to Reach Better Equilibria: End-to-End Gradient Descent for Stackelberg Games. AAAI (2022)
Iffat Anjum, Mu Zhu, Isaac Polinsky, William Enck, Michael K. Reiter, Munindar P. Singh
Role-Based Deception in Enterprise Networks. CODASPY (2021)
Andrew C. Reed, Michael K. Reiter
Optimally Hiding Object Sizes with Constrained Padding. CoRR (2021)
Kai Wang, Lily Xu, Andrew Perrault, Michael K. Reiter, Milind Tambe
Coordinating Followers to Reach Better Equilibria: End-to-End Gradient Descent for Stackelberg Games. CoRR (2021)
Keane Lucas, Mahmood Sharif, Lujo Bauer, Michael K. Reiter, Saurabh Shintre
Malware Makeover: Breaking ML-based Static Analysis by Modifying Executable Bytes. AsiaCCS (2021)
Adam Humphries, Kartik Cating-Subramanian, Michael K. Reiter
TASE: Reducing Latency of Symbolic Execution with Transactional Memory. NDSS (2021)
Joseph Severini, Radhika Niranjan Mysore, Vyas Sekar, Sujata Banerjee, Michael K. Reiter
The Netivus Manifesto: making collaborative network management easier for the rest of us. Comput. Commun. Rev. 51 (2) (2021)
Anrin Chakraborti, Giulia Fanti, Michael K. Reiter
Distance-Aware Private Set Intersection. CoRR (2021)
Sravya Yandamuri, Ittai Abraham, Kartik Nayak, Michael K. Reiter
Brief Announcement: Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption. DISC (2021)
Sravya Yandamuri, Ittai Abraham, Kartik Nayak, Michael K. Reiter
Communication-Efficient BFT Protocols Using Small Trusted Hardware to Tolerate Minority Corruption. IACR Cryptol. ePrint Arch. 2021 (2021)
Weiran Lin, Keane Lucas, Lujo Bauer, Michael K. Reiter, Mahmood Sharif
Constrained Gradient Descent: A Powerful and Principled Evasion Attack Against Neural Networks. CoRR (2021)
Ke Coby Wang, Michael K. Reiter
Using Amnesia to Detect Credential Database Breaches. USENIX Security Symposium (2021)
Cheng Guo, Brianne Campbell, Apu Kapadia, Michael K. Reiter, Kelly Caine
Effect of Mood, Location, Trust, and Presence of Others on Video-Based Social Authentication. USENIX Security Symposium (2021)
Ziqiao Zhou, Michael K. Reiter
Interpretable noninterference measurement and its application to processor designs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Christopher M. Bender, Yang Li, Yifeng Shi, Michael K. Reiter, Junier B. Oliva
Defense Through Diverse Directions. CoRR (2020)
Ke Coby Wang, Michael K. Reiter
Detecting Stuffing of a User's Credentials at Her Own Accounts. USENIX Security Symposium (2020)
Isaac Polinsky, Kyle Martin, William Enck, Michael K. Reiter
n-m-Variant Systems: Adversarial-Resistant Software Rejuvenation for Cloud-Based Web Applications. CODASPY (2020)
Christopher M. Bender, Yang Li, Yifeng Shi, Michael K. Reiter, Junier Oliva
Defense Through Diverse Directions. ICML (2020)
Qiuyu Xiao, Brittany Subialdea, Lujo Bauer, Michael K. Reiter
Metering Graphical Data Leakage with Snowman. SACMAT (2020)
Zeyu Mi, Haibo Chen, Yinqian Zhang, ShuangHe Peng, Xiaofeng Wang, Michael K. Reiter
CPU Elasticity to Mitigate Cross-VM Runtime Monitoring. IEEE Trans. Dependable Secur. Comput. 17 (5) (2020)
Iffat Anjum, Mu Zhu, Isaac Polinsky, William Enck, Michael K. Reiter, Munindar P. Singh
Role-Based Deception in Enterprise Networks. CoRR (2020)
Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan-Gueta, Ittai Abraham
HotStuff: BFT Consensus with Linearity and Responsiveness. PODC (2019)
Soumya Basu, Alin Tomescu, Ittai Abraham, Dahlia Malkhi, Michael K. Reiter, Emin Gün Sirer
Efficient Verifiable Secret Sharing with Share Recovery in BFT Protocols. CCS (2019)
Isaac Polinsky, Kyle Martin, William Enck, Michael K. Reiter
n-m-Variant Systems: Adversarial-Resistant Software Rejuvenation for Cloud-Based Web Applications. CoRR (2019)
Sheng Liu, Theophilus A. Benson, Michael K. Reiter
Efficient and Safe Network Updates with Suffix Causal Consistency. EuroSys (2019)
Mahmood Sharif, Keane Lucas, Lujo Bauer, Michael K. Reiter, Saurabh Shintre
Optimization-Guided Binary Diversification to Mislead Neural Networks for Malware Detection. CoRR (2019)
Mahmood Sharif, Sruti Bhagavatula, Lujo Bauer, Michael K. Reiter
A General Framework for Adversarial Examples with Objectives. ACM Trans. Priv. Secur. 22 (3) (2019)
Adam Humphries, Kartik Cating-Subramanian, Michael K. Reiter
TASE: Reducing latency of symbolic execution with transactional memory. CoRR (2019)
Mahmood Sharif, Lujo Bauer, Michael K. Reiter
n-ML: Mitigating Adversarial Examples via Ensembles of Topologically Manipulated Classifiers. CoRR (2019)
Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu
SBFT: A Scalable and Decentralized Trust Infrastructure. DSN (2019)
Xiaokuan Zhang, Jihun Hamm, Michael K. Reiter, Yinqian Zhang
Statistical Privacy for Streaming Traffic. NDSS (2019)
Ke Coby Wang, Michael K. Reiter
Detecting stuffing of a user's credentials at her own accounts. CoRR (2019)
Ke Coby Wang, Michael K. Reiter
How to End Password Reuse on the Web. NDSS (2019)
Sisi Duan, Michael K. Reiter, Haibin Zhang
BEAT: Asynchronous BFT Made Practical. CCS (2018)
Victor Heorhiadi, Sanjay Chandrasekaran, Michael K. Reiter, Vyas Sekar
Intent-driven composition of resource-management SDN applications. CoNEXT (2018)
Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang
Static Evaluation of Noninterference Using Approximate Model Counting. IEEE Symposium on Security and Privacy (2018)
Guoxing Chen, Ten-Hwang Lai, Michael K. Reiter, Yinqian Zhang
Differentially Private Access Patterns for Searchable Symmetric Encryption. INFOCOM (2018)
Mahmood Sharif, Sruti Bhagavatula, Lujo Bauer, Michael K. Reiter
Adversarial Generative Nets: Neural Network Attacks on State-of-the-Art Face Recognition. CoRR (2018)
Mahmood Sharif, Lujo Bauer, Michael K. Reiter
On the Suitability of Lp-Norms for Creating and Preventing Adversarial Examples. CVPR Workshops (2018)
Ke Coby Wang, Michael K. Reiter
How to end password reuse on the web. CoRR (2018)
Mahmood Sharif, Lujo Bauer, Michael K. Reiter
-norms for Creating and Preventing Adversarial Examples. CoRR (2018)
Chenglu Jin, Marten van Dijk, Michael K. Reiter, Haibin Zhang
PwoP: Intrusion-Tolerant and Privacy-Preserving Sensor Fusion. IACR Cryptol. ePrint Arch. 2018 (2018)
Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu
SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains. CoRR (2018)
Sisi Duan, Michael K. Reiter, Haibin Zhang
Secure Causal Atomic Broadcast, Revisited. DSN (2017)
Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton
A System to Verify Network Behavior of Known Cryptographic Clients. NSDI (2017)
Weijie Liu, Debin Gao, Michael K. Reiter
On-Demand Time Blurring to Support Side-Channel Defense. ESORICS (2) (2017)
Sheng Liu, Michael K. Reiter, Vyas Sekar
Flow Reconnaissance via Timing Attacks on SDN Switches. ICDCS (2017)
Qiuyu Xiao, Michael K. Reiter, Yinqian Zhang
Personalized Pseudonyms for Servers in the Cloud. Proc. Priv. Enhancing Technol. 2017 (4) (2017)
Sanchuan Chen, Xiaokuan Zhang, Michael K. Reiter, Yinqian Zhang
Detecting Privileged Side-Channel Attacks in Shielded Execution with Déjà Vu. AsiaCCS (2017)
Jay Aikat, Aditya Akella, Jeffrey S. Chase, Ari Juels, Michael K. Reiter, Thomas Ristenpart, Vyas Sekar, Michael M. Swift
Rethinking Security in the Era of Cloud Computing. IEEE Secur. Priv. 15 (3) (2017)
Qatrunnada Ismail, Tousif Ahmed, Kelly Caine, Apu Kapadia, Michael K. Reiter
To Permit or Not to Permit, That is the Usability Question: Crowdsourcing Mobile Apps' Privacy Permission Settings. Proc. Priv. Enhancing Technol. 2017 (4) (2017)
Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton
Server-side verification of client behavior in cryptographic protocols. CoRR (2016)
Florian Tramèr, Fan Zhang, Ari Juels, Michael K. Reiter, Thomas Ristenpart
Stealing Machine Learning Models via Prediction APIs. USENIX Security Symposium (2016)
Florian Tramèr, Fan Zhang, Ari Juels, Michael K. Reiter, Thomas Ristenpart
Stealing Machine Learning Models via Prediction APIs. CoRR (2016)
Elli Androulaki, Michael K. Reiter
CCSW'16: 8th ACM Cloud Computing Security Workshop. CCS (2016)
Jay Aikat, Michael K. Reiter, Kevin Jeffay
Education Modules for Networking, Cloud Computing, and Security in Systems Courses. SIGCSE (2016)
Victor Heorhiadi, Michael K. Reiter, Vyas Sekar
Simplifying Software-Defined Network Optimization Using SOL. NSDI (2016)
Jassim Aljuraidan, Lujo Bauer, Michael K. Reiter, Matthias Beckerle
Introducing Reputation Systems to the Economics of Outsourcing Computations to Rational Workers. Financial Cryptography (2016)
Victor Heorhiadi, Shriram Rajagopalan, Hani Jamjoom, Michael K. Reiter, Vyas Sekar
Gremlin: Systematic Resilience Testing of Microservices. ICDCS (2016)
Mahmood Sharif, Sruti Bhagavatula, Lujo Bauer, Michael K. Reiter
Accessorize to a Crime: Real and Stealthy Attacks on State-of-the-Art Face Recognition. CCS (2016)
Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang
A software approach to defeating side channels in last-level caches. CoRR (2016)
Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang
A Software Approach to Defeating Side Channels in Last-Level Caches. CCS (2016)
Michael K. Reiter
Side Channels in Multi-Tenant Environments. CCSW (2015)
Peng Li, Debin Gao, Michael K. Reiter
Replica Placement for Availability in the Worst Case. ICDCS (2015)
Victor Heorhiadi, Michael K. Reiter, Vyas Sekar
Accelerating the Development of Software-Defined Network Optimization Applications Using SOL. CoRR (2015)
Lei Wei, Michael K. Reiter
Toward practical encrypted email that supports private, regular-expression searches. Int. J. Inf. Sec. 14 (5) (2015)
Qiuyu Xiao, Michael K. Reiter, Yinqian Zhang
Mitigating Storage Side Channels Using Statistical Privacy Mechanisms. CCS (2015)

Michael K. Reiter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael K. Reiter