Michael LeMay
Michael LeMay
Intel Labs
Verified email at lemays.org - Homepage
Title
Cited by
Cited by
Year
Secure electronic message transport protocol
M LeMay, J Tan
US Patent 7,774,411, 2010
3532010
An Integrated Architecture for Demand Response Communications and Control
M LeMay, R Nelli, G Gross, CA Gunter
41st Annual Hawaii International Conference on System Sciences, 2008
1302008
Cumulative Attestation Kernels for Embedded Systems
M LeMay, C Gunter
14th European Symposium on Research in Computer Security, 655-670, 2009
1112009
Unified Architecture for Large-Scale Attested Metering
M LeMay, G Gross, CA Gunter, S Garg
40th Annual Hawaii International Conference on System Sciences, 2007
1032007
Diagnostic Powertracing for Sensor Node Failure Analysis
MMH Khan, HK Le, M LeMay, P Moinzadeh, L Wang, Y Yang, DK Noh, ...
9th ACM/IEEE International Conference on Information Processing in Sensor …, 2010
422010
Execution profiling mechanism
R Sahita, X Li, BE Huntley, O Levy, V Shanbhogue, Y Bulygin, I Ouziel, ...
US Patent 9,858,411, 2018
412018
Hardware-implemented hypervisor for root-of-trust monitoring and control of computer system
TT Do, MD LeMay, GA Rasche, BA Abbott
US Patent 8,458,791, 2013
342013
Hardware shadow stack support for legacy guests
M LeMay, BE Huntley
US Patent 9,501,637, 2016
312016
Method and apparatus for fine grain memory protection
RL Sahita, V Shanbhogue, G Neiger, J Edwards, I Ouziel, BE Huntley, ...
US Patent 9,335,943, 2016
302016
Verified sensor data processing
SH Robinson, J Martin, HC Herbert, M LeMay, KKS Grewal, KL Shippy, ...
US Patent 9,124,635, 2015
302015
Collaborative Recommender Systems for Building Automation
M LeMay, JJ Haas, CA Gunter
42nd Hawaii International Conference on System Sciences, 2009
262009
Acoustic Surveillance of Physically Unmodified PCs
M LeMay, J Tan
International Conference on Security and Management, 328–334, 2006
262006
Virtual machine manager for address mapping and translation protection
DM Durham, RL Sahita, G Neiger, V Shanbhogue, AV Anderson, ...
US Patent 10,503,664, 2019
222019
Technologies for indirect branch target security
M LeMay
US Patent 9,830,162, 2017
192017
PolicyMorph: Interactive Policy Transformations for a Logical Attribute-Based Access Control Framework
M LeMay, O Fatemieh, CA Gunter
12th ACM Symposium on Access Control Models and Technologies, 205-214, 2007
172007
Validating virtual address translation by virtual machine monitor utilizing address validation structure to validate tentative guest physical address and aborting based on flag …
RL Sahita, G Neiger, DM Durham, V Shanbhogue, M LeMay, I Ouziel, ...
US Patent 9,792,222, 2017
142017
Power-based diagnosis of node silence in remote high-end sensing systems
Y Yang, L Su, M Khan, M Lemay, T Abdelzaher, J Han
ACM Transactions on Sensor Networks (TOSN) 11 (2), 1-33, 2014
132014
Network-on-chip firewall: Countering defective and malicious system-on-chip hardware
M LeMay, CA Gunter
Logic, Rewriting, and Concurrency, 404-426, 2015
122015
Comprehensive Message Control and Assurance with the Secure Email Transport Protocol
MD LeMay, JSE Tan
IEEE Electro/Information Technology Conference, 272-280, 2004
102004
Protecting confidential data with transactional processing in execute-only memory
M LeMay, DM Durham, BE Huntley, V Shanbhogue, RL Sahita, R Rajwar
US Patent 9,665,373, 2017
92017
The system can't perform the operation now. Try again later.
Articles 1–20