Michael LeMay

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 10

Top Topics

Construction Project

Commodity Hardware

Advanced Encryption Standard

Top Venues

Proc. ACM Program. Lang.

Publications

David Schrammel, Salmin Sultana, Karanvir Grewal, Michael LeMay, David M. Durham, Martin Unterguggenberger, Pascal Nasahl, Stefan Mangard
MEMES: Memory Encryption-Based Memory Safety on Commodity Hardware. SECRYPT (2023)
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
Going beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI. ASPLOS (3) (2023)
Pascal Nasahl, Salmin Sultana, Hans Liljestrand, Karanvir Grewal, Michael LeMay, David M. Durham, David Schrammel, Stefan Mangard
EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks. CoRR (2023)
Pascal Nasahl, Salmin Sultana, Hans Liljestrand, Karanvir Grewal, Michael LeMay, David M. Durham, David Schrammel, Stefan Mangard
EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks. HOST (2023)
Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI. Proc. ACM Program. Lang. 6 (POPL) (2022)
Bumjin Im, Fangfei Yang, Chia-Che Tsai, Michael LeMay, Anjo Vahldiek-Oberwagner, Nathan Dautenhahn
The Endokernel: Fast, Secure, and Programmable Subprocess Virtualization. CoRR (2021)
Michael LeMay, Joydeep Rakshit, Sergej Deutsch, David M. Durham, Santosh Ghosh, Anant Nori, Jayesh Gaur, Andrew Weiler, Salmin Sultana, Karanvir Grewal, Sreenivas Subramoney
Cryptographic Capability Computing. MICRO (2021)
Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
Isolation Without Taxation: Near Zero Cost Transitions for SFI. CoRR (2021)
Michael LeMay, Carl A. Gunter
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. Logic, Rewriting, and Concurrency (2015)
Yong Yang, Lu Su, Mohammad Maifi Hasan Khan, Michael LeMay, Tarek F. Abdelzaher, Jiawei Han
Power-Based Diagnosis of Node Silence in Remote High-End Sensing Systems. ACM Trans. Sens. Networks 11 (2) (2015)
Michael LeMay, Carl A. Gunter
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. CoRR (2014)
Michael LeMay, Carl A. Gunter
Cumulative Attestation Kernels for Embedded Systems. IEEE Trans. Smart Grid 3 (2) (2012)
Omid Fatemieh, Michael LeMay, Carl A. Gunter
Reliable telemetry in white spaces using remote attestation. ACSAC (2011)
Michael LeMay, Carl A. Gunter
Enforcing Executing-Implies-Verified with the Integrity-Aware Processor. TRUST (2011)
Yong Yang, Lu Su, Mohammad Maifi Hasan Khan, Michael LeMay, Tarek F. Abdelzaher, Jiawei Han
Power watermarking: Facilitating power-based diagnosis of node silence in remote high-end sensing systems. IPSN (2011)
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
Diagnostic powertracing for sensor node failure analysis. IPSN (2010)
Michael LeMay, Carl A. Gunter
Cumulative Attestation Kernels for Embedded Systems. ESORICS (2009)
Michael LeMay, Jason J. Haas, Carl A. Gunter
Collaborative Recommender Systems for Building Automation. HICSS (2009)
Alejandro Gutierrez, Apeksha Godiyal, Matt Stockton, Michael LeMay, Carl A. Gunter, Roy H. Campbell
Sh@re: Negotiated Audit in Social Networks. SMC (2009)
Michael LeMay, Rajesh Nelli, George Gross, Carl A. Gunter
An Integrated Architecture for Demand Response Communications and Control. HICSS (2008)
Michael LeMay, George Gross, Carl A. Gunter, Sanjam Garg
Unified Architecture for Large-Scale Attested Metering. HICSS (2007)
Michael LeMay, Omid Fatemieh, Carl A. Gunter
PolicyMorph: interactive policy transformations for a logical attribute-based access control framework. SACMAT (2007)
Michael LeMay, Carl A. Gunter
Supporting Emergency-Response by Retasking Network Infrastructures. HotNets (2007)
Michael LeMay, Jack Tan
Acoustic Surveillance of Physically Unmodified PCs. Security and Management (2006)
Michael LeMay, Jack Tan
Abstracting Low-Level Network Programming with ACE, A Pattern-Oriented Network Programming Framework. Software Engineering Research and Practice (2004)