Michael LeMay

According to our database, Michael LeMay authored at least 25 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Chris Fallin, Anjo Vahldiek-Oberwagner, Michael LeMay, Ravi Sahita, Dean M. Tullsen, Deian Stefan

IEEE Micro, 2024

Cryptographic Memory Tagging: Towards Stateless Integrity.

Bharath Namboothiry, David Durham, Christoph Dobraunig, Michael LeMay

Proceedings of the 13th International Workshop on Hardware and Architectural Support for Security and Privacy, 2024

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

Proceedings of the 9th IEEE European Symposium on Security and Privacy, 2024

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

Proceedings of the 20th International Conference on Security and Cryptography, 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

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2023

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, Chris Fallin, Anjo Vahldiek-Oberwagner, Michael LeMay, Ravi Sahita, Dean M. Tullsen, Deian Stefan

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI.

Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan

Proc. ACM Program. Lang., 2022

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 SFI.

Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan

CoRR, 2021

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

Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

2015

Power-Based Diagnosis of Node Silence in Remote High-End Sensing Systems.

Yong Yang, Lu Su, Mohammad Maifi Hasan Khan, Michael LeMay, Tarek F. Abdelzaher, Jiawei Han

ACM Trans. Sens. Networks, 2015

Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware.

Michael LeMay, Carl A. Gunter

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2012

Cumulative Attestation Kernels for Embedded Systems.

Michael LeMay, Carl A. Gunter

IEEE Trans. Smart Grid, 2012

2011

Enforcing Executing-Implies-Verified with the Integrity-Aware Processor.

Michael LeMay, Carl A. Gunter

Proceedings of the Trust and Trustworthy Computing - 4th International Conference, 2011

Power watermarking: Facilitating power-based diagnosis of node silence in remote high-end sensing systems.

Yong Yang, Lu Su, Mohammad Maifi Hasan Khan, Michael LeMay, Tarek F. Abdelzaher, Jiawei Han

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Reliable telemetry in white spaces using remote attestation.

Omid Fatemieh, Michael LeMay, Carl A. Gunter

Proceedings of the Twenty-Seventh Annual Computer Security Applications Conference, 2011

2010

Diagnostic powertracing for sensor node failure analysis.

Mohammad Maifi Hasan Khan, Hieu Khac Le, Michael LeMay, Paria Moinzadeh, Lili Wang, Yong Yang, Dong Kun Noh, Tarek F. Abdelzaher, Carl A. Gunter, Jiawei Han, Xin Jin

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

2009

Sh@re: Negotiated Audit in Social Networks.

Alejandro Gutierrez, Apeksha Godiyal, Matt Stockton, Michael LeMay, Carl A. Gunter, Roy H. Campbell

Proceedings of the IEEE International Conference on Systems, 2009

Collaborative Recommender Systems for Building Automation.

Michael LeMay, Jason J. Haas, Carl A. Gunter

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008

An Integrated Architecture for Demand Response Communications and Control.

Michael LeMay, Rajesh Nelli, George Gross, Carl A. Gunter

Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

2007

PolicyMorph: interactive policy transformations for a logical attribute-based access control framework.

Michael LeMay, Omid Fatemieh, Carl A. Gunter

Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

Supporting Emergency-Response by Retasking Network Infrastructures.

Michael LeMay, Carl A. Gunter

Proceedings of the 6th ACM Workshop on Hot Topics in Networks, 2007

Unified Architecture for Large-Scale Attested Metering.

Michael LeMay, George Gross, Carl A. Gunter, Sanjam Garg

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006

Acoustic Surveillance of Physically Unmodified PCs.

Michael LeMay, Jack Tan

Proceedings of the 2006 International Conference on Security & Management, 2006

2004

Abstracting Low-Level Network Programming with ACE, A Pattern-Oriented Network Programming Framework.

Michael LeMay, Jack Tan

Proceedings of the International Conference on Software Engineering Research and Practice, 2004