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
3162010
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
1242008
Cumulative Attestation Kernels for Embedded Systems
M LeMay, C Gunter
14th European Symposium on Research in Computer Security, 655-670, 2009
1072009
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
412010
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
282013
Verified sensor data processing
SH Robinson, J Martin, HC Herbert, M LeMay, KKS Grewal, KL Shippy, ...
US Patent 9,124,635, 2015
262015
Acoustic Surveillance of Physically Unmodified PCs
M LeMay, J Tan
International Conference on Security and Management, 328–334, 2006
252006
Collaborative Recommender Systems for Building Automation
M LeMay, JJ Haas, CA Gunter
42nd Hawaii International Conference on System Sciences, 2009
242009
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
192016
Hardware shadow stack support for legacy guests
M LeMay, BE Huntley
US Patent 9,501,637, 2016
172016
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
142007
Technologies for indirect branch target security
M LeMay
US Patent 9,830,162, 2017
122017
Network-on-chip firewall: Countering defective and malicious system-on-chip hardware
M LeMay, CA Gunter
Logic, Rewriting, and Concurrency, 404-426, 2015
112015
Execution profiling mechanism
R Sahita, X Li, BE Huntley, O Levy, V Shanbhogue, Y Bulygin, I Ouziel, ...
US Patent 9,858,411, 2018
102018
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
92017
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
92014
Comprehensive Message Control and Assurance with the Secure Email Transport Protocol
MD LeMay, JSE Tan
IEEE Electro/Information Technology Conference, 272-280, 2004
82004
Sh@re: Negotiated Audit in Social Networks
A Gutierrez, A Godiyal, M Stockton, M LeMay, CA Gunter, RH Campbell
IEEE International Conference on Systems, Man and Cybernetics, 74-79, 2009
72009
Reliable telemetry in white spaces using remote attestation
O Fatemieh, M LeMay, CA Gunter
Proceedings of the 27th Annual Computer Security Applications Conference …, 2011
62011
The system can't perform the operation now. Try again later.
Articles 1–20