Matthew G. Pardini

Person

Natick, MA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Selectively shearing data when manipulating data during record proc...
- Patent number 11,675,513
- Issue date Jun 13, 2023
- International Business Machines Corporation
- Scott B. Compton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying security vulnerabilities using modeled attribute propag...
- Patent number 11,657,159
- Issue date May 23, 2023
- International Business Machines Corporation
- Matthew Michael Garcia Pardini
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Selectively evicting data from internal memory during record proces...
- Patent number 11,513,704
- Issue date Nov 29, 2022
- International Business Machines Corporation
- Scott B. Compton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Targeted very long delay for increasing speculative execution progr...
- Patent number 11,443,044
- Issue date Sep 13, 2022
- International Business Machines Corporation
- Olaf Knute Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying microarchitectural security vulnerabilities using simul...
- Patent number 11,205,005
- Issue date Dec 21, 2021
- International Business Machines Corporation
- Matthew Michael Garcia Pardini
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Memory blockade for verifying system security with respect to specu...
- Patent number 11,106,602
- Issue date Aug 31, 2021
- International Business Machines Corporation
- Olaf Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cache coherency verification using ordered lists
- Patent number 9,990,290
- Issue date Jun 5, 2018
- International Business Machines Corporation
- Dean G. Bair
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cache coherency verification using ordered lists
- Patent number 9,665,280
- Issue date May 30, 2017
- International Business Machines Corporation
- Dean G. Bair
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cache coherency verification using ordered lists
- Patent number 9,665,281
- Issue date May 30, 2017
- International Business Machines Corporation
- Dean G. Bair
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic logic model build process with autonomous quality checking
- Patent number 8,515,727
- Issue date Aug 20, 2013
- International Business Machines Corporation
- Matthew A. Adams
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SELECTIVELY SHEARING DATA WHEN MANIPULATING DATA DURING RECORD PROC...
- Publication number 20230047349
- Publication date Feb 16, 2023
- International Business Machines Corporation
- Scott B. Compton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING SECURITY VULNERABILITIES USING MODELED ATTRIBUTE PROPAG...
- Publication number 20220121752
- Publication date Apr 21, 2022
- International Business Machines Corporation
- Matthew Michael Garcia Pardini
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING MICROARCHITECTURAL SECURITY VULNERABILITIES USING SIMUL...
- Publication number 20210089659
- Publication date Mar 25, 2021
- International Business Machines Corporation
- Matthew Michael Garcia Pardini
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TARGETED VERY LONG DELAY FOR INCREASING SPECULATIVE EXECUTION PROGR...
- Publication number 20210089660
- Publication date Mar 25, 2021
- International Business Machines Corporation
- Olaf Knute Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEMORY BLOCKADE FOR VERIFYING SYSTEM SECURITY WITH RESPECT TO SPECU...
- Publication number 20210064550
- Publication date Mar 4, 2021
- International Business Machines Corporation
- Olaf Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CACHE COHERENCY VERIFICATION USING ORDERED LISTS
- Publication number 20170220468
- Publication date Aug 3, 2017
- International Business Machines Corporation
- Dean G. Bair
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CACHE COHERENCY VERIFICATION USING ORDERED LISTS
- Publication number 20160092368
- Publication date Mar 31, 2016
- International Business Machines Corporation
- Dean G. Bair
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CACHE COHERENCY VERIFICATION USING ORDERED LISTS
- Publication number 20160092358
- Publication date Mar 31, 2016
- International Business Machines Corporation
- Dean G. Bair
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND COMPUTER PROGRAM PRODUCT FOR AUTOMATIC LOGIC MODEL BUILD...
- Publication number 20090240483
- Publication date Sep 24, 2009
- International Business Machines Corporation
- Matthew A. Adams
- G06 - COMPUTING CALCULATING COUNTING

Matthew G. Pardini

Person

Patents Grantslast 30 patents

Selectively shearing data when manipulating data during record proc...

Identifying security vulnerabilities using modeled attribute propag...

Selectively evicting data from internal memory during record proces...

Targeted very long delay for increasing speculative execution progr...

Identifying microarchitectural security vulnerabilities using simul...

Memory blockade for verifying system security with respect to specu...

Cache coherency verification using ordered lists

Cache coherency verification using ordered lists

Cache coherency verification using ordered lists

Automatic logic model build process with autonomous quality checking

Patents Applicationslast 30 patents

SELECTIVELY SHEARING DATA WHEN MANIPULATING DATA DURING RECORD PROC...

IDENTIFYING SECURITY VULNERABILITIES USING MODELED ATTRIBUTE PROPAG...

IDENTIFYING MICROARCHITECTURAL SECURITY VULNERABILITIES USING SIMUL...

TARGETED VERY LONG DELAY FOR INCREASING SPECULATIVE EXECUTION PROGR...

MEMORY BLOCKADE FOR VERIFYING SYSTEM SECURITY WITH RESPECT TO SPECU...

CACHE COHERENCY VERIFICATION USING ORDERED LISTS

CACHE COHERENCY VERIFICATION USING ORDERED LISTS

CACHE COHERENCY VERIFICATION USING ORDERED LISTS

SYSTEM AND COMPUTER PROGRAM PRODUCT FOR AUTOMATIC LOGIC MODEL BUILD...