Michael Lemay

Person

Hillsboro, OR, US

People

Patents Grantslast 30 patents

Information Patent Grant
Typed store buffers for hardening store forwarding
- Patent number 12,093,182
- Issue date Sep 17, 2024
- Intel Corporation
- Michael Lemay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cryptographic isolation of memory compartments in a computing envir...
- Patent number 12,050,701
- Issue date Jul 30, 2024
- Intel Corporation
- Michael E. Kounavis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Tagless implicit integrity with multi-perspective pattern search
- Patent number 12,045,174
- Issue date Jul 23, 2024
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transient side-channel aware architecture for cryptographic computing
- Patent number 12,032,486
- Issue date Jul 9, 2024
- Intel Corporation
- Abhishek Basak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compartment isolation for load store forwarding
- Patent number 12,019,733
- Issue date Jun 25, 2024
- Intel Corporation
- Michael Lemay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cryptographic computing including enhanced cryptographic addresses
- Patent number 12,019,562
- Issue date Jun 25, 2024
- Intel Corporation
- Michael D. LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cryptographic enforcement of borrow checking
- Patent number 12,008,374
- Issue date Jun 11, 2024
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data relocation for inline metadata
- Patent number 11,972,126
- Issue date Apr 30, 2024
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus and method for pausing processor trace for efficient anal...
- Patent number 11,960,375
- Issue date Apr 16, 2024
- Intel Corporation
- Michael Lemay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Object and cacheline granularity cryptographic memory integrity
- Patent number 11,954,045
- Issue date Apr 9, 2024
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Technologies for memory tagging
- Patent number 11,940,927
- Issue date Mar 26, 2024
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Function as a service (FaaS) system enhancements
- Patent number 11,922,220
- Issue date Mar 5, 2024
- Intel Corporation
- Mohammad R. Haghighat
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Technologies for object-oriented memory management with extended se...
- Patent number 11,841,939
- Issue date Dec 12, 2023
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Protection of keys and sensitive data from attack within microproce...
- Patent number 11,838,418
- Issue date Dec 5, 2023
- Intel Corporation
- Milind Girkar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cryptographic data objects page conversion
- Patent number 11,836,094
- Issue date Dec 5, 2023
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Pointer based data encryption
- Patent number 11,829,488
- Issue date Nov 28, 2023
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Technologies for execute only transactional memory
- Patent number 11,829,299
- Issue date Nov 28, 2023
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Technologies for object-oriented memory management with extended se...
- Patent number 11,822,644
- Issue date Nov 21, 2023
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Memory scanning methods and apparatus
- Patent number 11,797,678
- Issue date Oct 24, 2023
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Capability-based stack protection for software fault isolation
- Patent number 11,789,737
- Issue date Oct 17, 2023
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hardware apparatuses, methods, and systems for individually revocab...
- Patent number 11,782,716
- Issue date Oct 10, 2023
- Intel Corporation
- Michael Lemay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Security check systems and methods for memory allocations
- Patent number 11,782,826
- Issue date Oct 10, 2023
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mitigating security vulnerabilities with memory allocation markers...
- Patent number 11,784,786
- Issue date Oct 10, 2023
- Intel Corporation
- Sergej Deutsch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Technologies for object-oriented memory management with extended se...
- Patent number 11,768,931
- Issue date Sep 26, 2023
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus and method for efficient process-based compartmentalization
- Patent number 11,741,018
- Issue date Aug 29, 2023
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enforcing memory operand types using protection keys
- Patent number 11,734,199
- Issue date Aug 22, 2023
- Intel Corporation
- Michael Lemay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Encoded stack pointers
- Patent number 11,711,201
- Issue date Jul 25, 2023
- Intel Corporation
- Andrew James Weiler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Collision-free hashing for accessing cryptographic computing metada...
- Patent number 11,704,297
- Issue date Jul 18, 2023
- Intel Corporation
- Michael E. Kounavis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Technologies for object-oriented memory management with extended se...
- Patent number 11,681,793
- Issue date Jun 20, 2023
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data type based cryptographic computing
- Patent number 11,669,625
- Issue date Jun 6, 2023
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
MEMORY SAFETY USING TAG CHECKING INSTRUCTIONS AND ISLANDS OF TAGS I...
- Publication number 20240354108
- Publication date Oct 24, 2024
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CIRCUITRY AND METHODS FOR IMPLEMENTING FORWARD-EDGE CONTROL-FLOW IN...
- Publication number 20240330000
- Publication date Oct 3, 2024
- Intel Corporation
- Scott D. Constable
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT CACHING AND QUEUEING FOR PER-ALLOCATION NON-REDUNDANT MET...
- Publication number 20240329861
- Publication date Oct 3, 2024
- Intel Corporation
- Yonghae Kim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTI-KEY MEMORY ENCRYPTION PROVIDING EFFICIENT ISOLATION FOR MULTI...
- Publication number 20240333501
- Publication date Oct 3, 2024
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FAST KEY ID SWITCHING VIA EXTENDED PAGING FOR CRYPTOGRAPHIC INTRA-P...
- Publication number 20240220423
- Publication date Jul 4, 2024
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TECHNOLOGIES FOR OBJECT-ORIENTED MEMORY MANAGEMENT WITH EXTENDED SE...
- Publication number 20240104196
- Publication date Mar 28, 2024
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINISTIC ADJACENT OVERFLOW DETECTION FOR SLOTTED MEMORY POINTERS
- Publication number 20240104013
- Publication date Mar 28, 2024
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEMPORAL INFORMATION LEAKAGE PROTECTION MECHANISM FOR CRYPTOGRAPHIC...
- Publication number 20240104027
- Publication date Mar 28, 2024
- Intel Corporation
- Santosh Ghosh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USER-LEVEL EXCEPTION-BASED INVOCATION OF SOFTWARE INSTRUMENTATION H...
- Publication number 20240095063
- Publication date Mar 21, 2024
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
POINTER BASED DATA ENCRYPTION
- Publication number 20240061943
- Publication date Feb 22, 2024
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SPECULATING OBJECT-GRANULAR KEY IDENTIFIERS FOR MEMORY SAFETY
- Publication number 20240054080
- Publication date Feb 15, 2024
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REDUCING INSTRUMENTATION CODE BLOAT AND PERFORMANCE OVERHEADS USING...
- Publication number 20240004659
- Publication date Jan 4, 2024
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPLICIT MEMORY CORRUPTION DETECTION FOR CONDITIONAL DATA TYPES
- Publication number 20230418608
- Publication date Dec 28, 2023
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTROL FLOW INTEGRITY TO PREVENT POTENTIAL LEAKAGE OF SENSITIVE DA...
- Publication number 20230418934
- Publication date Dec 28, 2023
- Intel Corporation
- Scott D. Constable
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEMORY SAFETY WITH SINGLE MEMORY TAG PER ALLOCATION
- Publication number 20230393769
- Publication date Dec 7, 2023
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CIRCUITRY AND METHODS FOR IMPLEMENTING CAPABILITIES USING NARROW RE...
- Publication number 20230195461
- Publication date Jun 22, 2023
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CIRCUITRY AND METHODS FOR IMPLEMENTING NON-REDUNDANT METADATA STORA...
- Publication number 20230195614
- Publication date Jun 22, 2023
- Intel Corporation
- MICHAEL LEMAY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CIRCUITRY AND METHODS FOR IMPLEMENTING CAPABILITY-BASED COMPARTMENT...
- Publication number 20230195360
- Publication date Jun 22, 2023
- Intel Corporation
- MICHAEL LEMAY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ENFORCING MEMORY OPERAND TYPES USING PROTECTION KEYS
- Publication number 20230112707
- Publication date Apr 13, 2023
- Intel Corporation
- Michael Lemay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPARATUS AND METHOD FOR EFFICIENT PROCESS-BASED COMPARTMENTALIZATION
- Publication number 20230043506
- Publication date Feb 9, 2023
- DAVID M. DURHAM
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CRYPTOGRAPHIC COMPUTING IN MULTITENANT ENVIRONMENTS
- Publication number 20230027329
- Publication date Jan 26, 2023
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UPDATING ENCRYPTED SECURITY CONTEXT IN STACK POINTERS FOR EXCEPTION...
- Publication number 20230018585
- Publication date Jan 19, 2023
- Intel Corporation
- Hans G. Liljestrand
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ZERO-REDUNDANCY TAG STORAGE FOR BUCKETED ALLOCATORS
- Publication number 20220413715
- Publication date Dec 29, 2022
- Intel Corporation
- Michael LeMay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TECHNOLOGIES FOR EXECUTE ONLY TRANSACTIONAL MEMORY
- Publication number 20220382684
- Publication date Dec 1, 2022
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CRYPTOGRAPHIC COMPUTING USING ENCRYPTED BASE ADDRESSES AND USED IN...
- Publication number 20220382885
- Publication date Dec 1, 2022
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COLLISION-FREE HASHING FOR ACCESSING CRYPTOGRAPHIC COMPUTING METADA...
- Publication number 20220350785
- Publication date Nov 3, 2022
- Intel Corporation
- Michael E. Kounavis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATELESS AND LOW-OVERHEAD DOMAIN ISOLATION USING CRYPTOGRAPHIC CO...
- Publication number 20220343029
- Publication date Oct 27, 2022
- Intel Corporation
- Salmin Sultana
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CRYPTOGRAPHIC COMPUTING ISOLATION FOR MULTI-TENANCY AND SECURE SOFT...
- Publication number 20220335140
- Publication date Oct 20, 2022
- Intel Corporation
- Salmin Sultana
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TECHNOLOGIES FOR MEMORY TAGGING
- Publication number 20220318158
- Publication date Oct 6, 2022
- Intel Corporation
- David M. Durham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPARATUS AND METHOD FOR PAUSING PROCESSOR TRACE FOR EFFICIENT ANAL...
- Publication number 20220308980
- Publication date Sep 29, 2022
- Intel Corporation
- MICHAEL LEMAY
- G06 - COMPUTING CALCULATING COUNTING

Michael Lemay

Person

Patents Grantslast 30 patents

Typed store buffers for hardening store forwarding

Cryptographic isolation of memory compartments in a computing envir...

Tagless implicit integrity with multi-perspective pattern search

Transient side-channel aware architecture for cryptographic computing

Compartment isolation for load store forwarding

Cryptographic computing including enhanced cryptographic addresses

Cryptographic enforcement of borrow checking

Data relocation for inline metadata

Apparatus and method for pausing processor trace for efficient anal...

Object and cacheline granularity cryptographic memory integrity

Technologies for memory tagging

Function as a service (FaaS) system enhancements

Technologies for object-oriented memory management with extended se...

Protection of keys and sensitive data from attack within microproce...

Cryptographic data objects page conversion

Pointer based data encryption

Technologies for execute only transactional memory

Technologies for object-oriented memory management with extended se...

Memory scanning methods and apparatus

Capability-based stack protection for software fault isolation

Hardware apparatuses, methods, and systems for individually revocab...

Security check systems and methods for memory allocations

Mitigating security vulnerabilities with memory allocation markers...

Technologies for object-oriented memory management with extended se...

Apparatus and method for efficient process-based compartmentalization

Enforcing memory operand types using protection keys

Encoded stack pointers

Collision-free hashing for accessing cryptographic computing metada...

Technologies for object-oriented memory management with extended se...

Data type based cryptographic computing

Patents Applicationslast 30 patents

MEMORY SAFETY USING TAG CHECKING INSTRUCTIONS AND ISLANDS OF TAGS I...

CIRCUITRY AND METHODS FOR IMPLEMENTING FORWARD-EDGE CONTROL-FLOW IN...

EFFICIENT CACHING AND QUEUEING FOR PER-ALLOCATION NON-REDUNDANT MET...

MULTI-KEY MEMORY ENCRYPTION PROVIDING EFFICIENT ISOLATION FOR MULTI...

FAST KEY ID SWITCHING VIA EXTENDED PAGING FOR CRYPTOGRAPHIC INTRA-P...

TECHNOLOGIES FOR OBJECT-ORIENTED MEMORY MANAGEMENT WITH EXTENDED SE...

DETERMINISTIC ADJACENT OVERFLOW DETECTION FOR SLOTTED MEMORY POINTERS

TEMPORAL INFORMATION LEAKAGE PROTECTION MECHANISM FOR CRYPTOGRAPHIC...

USER-LEVEL EXCEPTION-BASED INVOCATION OF SOFTWARE INSTRUMENTATION H...

POINTER BASED DATA ENCRYPTION

SPECULATING OBJECT-GRANULAR KEY IDENTIFIERS FOR MEMORY SAFETY

REDUCING INSTRUMENTATION CODE BLOAT AND PERFORMANCE OVERHEADS USING...

IMPLICIT MEMORY CORRUPTION DETECTION FOR CONDITIONAL DATA TYPES

CONTROL FLOW INTEGRITY TO PREVENT POTENTIAL LEAKAGE OF SENSITIVE DA...

MEMORY SAFETY WITH SINGLE MEMORY TAG PER ALLOCATION

CIRCUITRY AND METHODS FOR IMPLEMENTING CAPABILITIES USING NARROW RE...

CIRCUITRY AND METHODS FOR IMPLEMENTING NON-REDUNDANT METADATA STORA...

CIRCUITRY AND METHODS FOR IMPLEMENTING CAPABILITY-BASED COMPARTMENT...

ENFORCING MEMORY OPERAND TYPES USING PROTECTION KEYS

APPARATUS AND METHOD FOR EFFICIENT PROCESS-BASED COMPARTMENTALIZATION

CRYPTOGRAPHIC COMPUTING IN MULTITENANT ENVIRONMENTS

UPDATING ENCRYPTED SECURITY CONTEXT IN STACK POINTERS FOR EXCEPTION...

ZERO-REDUNDANCY TAG STORAGE FOR BUCKETED ALLOCATORS

TECHNOLOGIES FOR EXECUTE ONLY TRANSACTIONAL MEMORY

CRYPTOGRAPHIC COMPUTING USING ENCRYPTED BASE ADDRESSES AND USED IN...

COLLISION-FREE HASHING FOR ACCESSING CRYPTOGRAPHIC COMPUTING METADA...

STATELESS AND LOW-OVERHEAD DOMAIN ISOLATION USING CRYPTOGRAPHIC CO...

CRYPTOGRAPHIC COMPUTING ISOLATION FOR MULTI-TENANCY AND SECURE SOFT...

TECHNOLOGIES FOR MEMORY TAGGING

APPARATUS AND METHOD FOR PAUSING PROCESSOR TRACE FOR EFFICIENT ANAL...