default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael LeMay
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j4]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:
Hardware-Assisted Fault Isolation: Going Beyond the Limits of Software-Based Sandboxing. IEEE Micro 44(4): 70-79 (2024)- [c20]David Schrammel, Martin Unterguggenberger, Lukas Lamster, Salmin Sultana, Karanvir Grewal, Michael LeMay, David M. Durham, Stefan Mangard:
Memory Tagging using Cryptographic Integrity on Commodity x86 CPUs. EuroS&P 2024: 311-326 - [c19]Bharath Namboothiry, David Durham, Christoph Dobraunig, Michael LeMay:
Cryptographic Memory Tagging: Towards Stateless Integrity. HASP@MICRO 2024: 50-58 - 2023
- [c18]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: 266-281 - [c17]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: 24-35 - [c16]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: 25-36 - [i4]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 abs/2301.13760 (2023) - 2022
- [j3]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): 1-30 (2022) - 2021
- [c15]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: 253-267 - [i3]Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan:
Isolation Without Taxation: Near Zero Cost Transitions for SFI. CoRR abs/2105.00033 (2021) - [i2]Bumjin Im, Fangfei Yang, Chia-Che Tsai, Michael LeMay, Anjo Vahldiek-Oberwagner, Nathan Dautenhahn:
The Endokernel: Fast, Secure, and Programmable Subprocess Virtualization. CoRR abs/2108.03705 (2021)
2010 – 2019
- 2015
- [j2]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): 33:1-33:33 (2015) - [c14]Michael LeMay, Carl A. Gunter:
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. Logic, Rewriting, and Concurrency 2015: 404-426 - 2014
- [i1]Michael LeMay, Carl A. Gunter:
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. CoRR abs/1404.3465 (2014) - 2012
- [j1]Michael LeMay, Carl A. Gunter:
Cumulative Attestation Kernels for Embedded Systems. IEEE Trans. Smart Grid 3(2): 744-760 (2012) - 2011
- [c13]Omid Fatemieh, Michael LeMay, Carl A. Gunter:
Reliable telemetry in white spaces using remote attestation. ACSAC 2011: 323-332 - [c12]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: 159-160 - [c11]Michael LeMay, Carl A. Gunter:
Enforcing Executing-Implies-Verified with the Integrity-Aware Processor. TRUST 2011: 202-216 - 2010
- [c10]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: 117-128
2000 – 2009
- 2009
- [c9]Michael LeMay, Carl A. Gunter:
Cumulative Attestation Kernels for Embedded Systems. ESORICS 2009: 655-670 - [c8]Michael LeMay, Jason J. Haas, Carl A. Gunter:
Collaborative Recommender Systems for Building Automation. HICSS 2009: 1-10 - [c7]Alejandro Gutierrez, Apeksha Godiyal, Matt Stockton, Michael LeMay, Carl A. Gunter, Roy H. Campbell:
Sh@re: Negotiated Audit in Social Networks. SMC 2009: 74-79 - 2008
- [c6]Michael LeMay, Rajesh Nelli, George Gross, Carl A. Gunter:
An Integrated Architecture for Demand Response Communications and Control. HICSS 2008: 174 - 2007
- [c5]Michael LeMay, George Gross, Carl A. Gunter, Sanjam Garg:
Unified Architecture for Large-Scale Attested Metering. HICSS 2007: 115 - [c4]Michael LeMay, Carl A. Gunter:
Supporting Emergency-Response by Retasking Network Infrastructures. HotNets 2007 - [c3]Michael LeMay, Omid Fatemieh, Carl A. Gunter:
PolicyMorph: interactive policy transformations for a logical attribute-based access control framework. SACMAT 2007: 205-214 - 2006
- [c2]Michael LeMay, Jack Tan:
Acoustic Surveillance of Physically Unmodified PCs. Security and Management 2006: 328-334 - 2004
- [c1]Michael LeMay, Jack Tan:
Abstracting Low-Level Network Programming with ACE, A Pattern-Oriented Network Programming Framework. Software Engineering Research and Practice 2004: 789-794
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
