Abstracting Low-Level Network Programming with ACE, A Pattern-Oriented Network Programming Framework. - Michael LeMay; Jack Tan (Software Engineering Research and Practice, 2004)

Acoustic Surveillance of Physically Unmodified PCs. - Michael LeMay; Jack Tan (Security and Management, 2006)

Unified Architecture for Large-Scale Attested Metering. - Michael LeMay; George Gross; Carl A. Gunter; Sanjam Garg (HICSS, 2007)

Supporting Emergency-Response by Retasking Network Infrastructures. - Michael LeMay; Carl A. Gunter (HotNets, 2007)

PolicyMorph: interactive policy transformations for a logical attribute-based access control framework. - Michael LeMay; Omid Fatemieh; Carl A. Gunter (SACMAT, 2007)

An Integrated Architecture for Demand Response Communications and Control. - Michael LeMay; Rajesh Nelli; George Gross; Carl A. Gunter (HICSS, 2008)

Collaborative Recommender Systems for Building Automation. - Michael LeMay; Jason J. Haas; Carl A. Gunter (HICSS, 2009)

Sh@re: Negotiated Audit in Social Networks. - Alejandro Gutierrez; Apeksha Godiyal; Matt Stockton; Michael LeMay; Carl A. Gunter; Roy H. Campbell (SMC, 2009)

Diagnostic powertracing for sensor node failure analysis. - Mohammad Maifi Hasan Khan; Hieu Khac Le; Michael LeMay; Paria Moinzadeh; Lili Wang 006; Yong Yang 009; Dong Kun Noh; Tarek F. Abdelzaher; Carl A. Gunter; Jiawei Han 001; Xin Jin 001 (IPSN, 2010)

Reliable telemetry in white spaces using remote attestation. - Omid Fatemieh; Michael LeMay; Carl A. Gunter (ACSAC, 2011)

Power watermarking: Facilitating power-based diagnosis of node silence in remote high-end sensing systems. - Yong Yang 009; Lu Su 001; Mohammad Maifi Hasan Khan; Michael LeMay; Tarek F. Abdelzaher; Jiawei Han 001 (IPSN, 2011)

Enforcing Executing-Implies-Verified with the Integrity-Aware Processor. - Michael LeMay; Carl A. Gunter (TRUST, 2011)

Compact integrity-aware architectures - Michael LeMay (2011)

Cumulative Attestation Kernels for Embedded Systems. - Michael LeMay; Carl A. Gunter (IEEE Trans. Smart Grid, 2012)

Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. - Michael LeMay; Carl A. Gunter (Logic, Rewriting, and Concurrency, 2015)

Power-Based Diagnosis of Node Silence in Remote High-End Sensing Systems. - Yong Yang 009; Lu Su 001; Mohammad Maifi Hasan Khan; Michael LeMay; Tarek F. Abdelzaher; Jiawei Han 001 (ACM Trans. Sens. Networks, 2015)

Cryptographic Capability Computing. - Michael LeMay; Joydeep Rakshit; Sergej Deutsch; David M. Durham; Santosh Ghosh; Anant Nori; Jayesh Gaur; Andrew Weiler; Salmin Sultana; Karanvir Grewal; Sreenivas Subramoney (MICRO, 2021)

Isolation Without Taxation: Near Zero Cost Transitions for SFI. - Matthew Kolosick; Shravan Narayan; Conrad Watt; Michael LeMay; Deepak Garg 001; Ranjit Jhala; Deian Stefan (CoRR, 2021)

The Endokernel: Fast, Secure, and Programmable Subprocess Virtualization. - Bumjin Im; Fangfei Yang; Chia-Che Tsai; Michael LeMay; Anjo Vahldiek-Oberwagner; Nathan Dautenhahn (CoRR, 2021)

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI. - Matthew Kolosick; Shravan Narayan; Evan Johnson 001; Conrad Watt; Michael LeMay; Deepak Garg 001; Ranjit Jhala; Deian Stefan (Proc. ACM Program. Lang., 2022)

Going beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI. - Shravan Narayan; Tal Garfinkel; Mohammadkazem Taram; Joey Rudek; Daniel Moghimi; Evan Johnson 001; Chris Fallin; Anjo Vahldiek-Oberwagner; Michael LeMay; Ravi Sahita; Dean M. Tullsen; Deian Stefan (ASPLOS (3), 2023)

EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks. - Pascal Nasahl; Salmin Sultana; Hans Liljestrand; Karanvir Grewal; Michael LeMay; David M. Durham; David Schrammel; Stefan Mangard (HOST, 2023)

MEMES: Memory Encryption-Based Memory Safety on Commodity Hardware. - David Schrammel; Salmin Sultana; Karanvir Grewal; Michael LeMay; David M. Durham; Martin Unterguggenberger; Pascal Nasahl; Stefan Mangard (SECRYPT, 2023)

Memory Tagging using Cryptographic Integrity on Commodity x86 CPUs. - David Schrammel; Martin Unterguggenberger; Lukas Lamster; Salmin Sultana; Karanvir Grewal; Michael LeMay; David M. Durham; Stefan Mangard (EuroS&P, 2024)

Cryptographic Memory Tagging: Towards Stateless Integrity. - Bharath Namboothiry; David Durham; Christoph Dobraunig; Michael LeMay (HASP@MICRO, 2024)

Hardware-Assisted Fault Isolation: Going Beyond the Limits of Software-Based Sandboxing. - Shravan Narayan; Tal Garfinkel; Mohammadkazem Taram; Joey Rudek; Daniel Moghimi; Evan Johnson 001; Chris Fallin; Anjo Vahldiek-Oberwagner; Michael LeMay; Ravi Sahita; Dean M. Tullsen; Deian Stefan (IEEE Micro, 2024)

Segue & ColorGuard: Optimizing SFI Performance and Scalability on Modern Architectures. - Shravan Narayan; Tal Garfinkel; Evan Johnson 001; Zachary Yedidia; Yingchen Wang; Andrew Brown; Anjo Vahldiek-Oberwagner; Michael LeMay; Wenyong Huang; Xin Wang; Mingqiu Sun; Dean M. Tullsen; et al. (ASPLOS (1), 2025)