Michael LeMay

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