Salvatore A. Guarnieri

Person

New York, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Developing applications using precise static security analysis
- Patent number 10,956,562
- Issue date Mar 23, 2021
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Warning filter based on machine learning
- Patent number 10,839,312
- Issue date Nov 17, 2020
- International Business Machines Corporation
- Aleksandr Y. Aravkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Boosting the efficiency of static program analysis using configurat...
- Patent number 10,545,848
- Issue date Jan 28, 2020
- International Business Machines Corporation
- Salvatore Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enhanced string analysis that improves accuracy of static analysis
- Patent number 10,372,582
- Issue date Aug 6, 2019
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Auto-tuning program analysis tools based on user feedback
- Patent number 10,097,574
- Issue date Oct 9, 2018
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Rule matching in the presence of languages with no types or as an a...
- Patent number 10,055,590
- Issue date Aug 21, 2018
- International Business Machines Corporation
- Salvatore Angelo Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static security analysis using a hybrid representation of string va...
- Patent number 9,940,465
- Issue date Apr 10, 2018
- International Business Machines Corporation
- Salvatore A. Guarnieri
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Static security analysis using a hybrid representation of string va...
- Patent number 9,940,464
- Issue date Apr 10, 2018
- International Business Machines Corporation
- Salvatore A. Guarnieri
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Static security analysis using a hybrid representation of string va...
- Patent number 9,460,282
- Issue date Oct 4, 2016
- International Business Machines Corporation
- Salvatore A. Guarnieri
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automatic generation of analysis-equivalent application constructs
- Patent number 9,459,986
- Issue date Oct 4, 2016
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static security analysis using a hybrid representation of string va...
- Patent number 9,424,423
- Issue date Aug 23, 2016
- International Business Machines Corporation
- Salvatore A. Guarnieri
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automatic correction of security downgraders
- Patent number 9,405,916
- Issue date Aug 2, 2016
- International Business Machines Corporation
- Salvatore A. Guarnieri
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automatic correction of security downgraders
- Patent number 9,396,336
- Issue date Jul 19, 2016
- International Business Machines Corporation
- Salvatore A. Guarnieri
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Rule matching in the presence of languages with no types or as an a...
- Patent number 9,384,354
- Issue date Jul 5, 2016
- International Business Machines Corporation
- Salvatore Angelo Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enhanced string analysis that improves accuracy of static analysis
- Patent number 9,336,120
- Issue date May 10, 2016
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
After-the-fact configuration of static analysis tools able to reduc...
- Patent number 9,223,984
- Issue date Dec 29, 2015
- GLOBALFOUNDRIES Inc.
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Partitioning of program analyses into sub-analyses using dynamic hints
- Patent number 9,208,061
- Issue date Dec 8, 2015
- GLOBALFOUNDRIES Inc.
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Progressive static security analysis
- Patent number 9,177,143
- Issue date Nov 3, 2015
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Partitioning of program analyses into sub-analyses using dynamic hints
- Patent number 9,176,849
- Issue date Nov 3, 2015
- GlobalFoundries U.S. 2 LLC
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic correction of security downgraders
- Patent number 9,166,996
- Issue date Oct 20, 2015
- International Business Machines Corporation
- Salvatore A. Guarnieri
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Scalable and precise string analysis using index-sensitive static s...
- Patent number 9,164,869
- Issue date Oct 20, 2015
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mitigating security risks via code movement
- Patent number 9,158,923
- Issue date Oct 13, 2015
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated testing of applications with scripting code
- Patent number 9,135,147
- Issue date Sep 15, 2015
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Progressive static security analysis
- Patent number 9,135,441
- Issue date Sep 15, 2015
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable and precise string analysis using index-sensitive static s...
- Patent number 9,021,450
- Issue date Apr 28, 2015
- International Business Machines Corporation
- Salvatore Angelo Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic correction of security downgraders
- Patent number 8,990,949
- Issue date Mar 24, 2015
- International Business Machines Corporation
- Salvatore A. Guarnieri
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Enhanced string analysis that improves accuracy of static analysis
- Patent number 8,984,495
- Issue date Mar 17, 2015
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Sound and effective data-flow analysis in the presence of aliasing
- Patent number 8,955,139
- Issue date Feb 10, 2015
- International Business Machines Corporation
- Julian Dolby
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Certifying server side web applications against security vulnerabil...
- Patent number 8,949,995
- Issue date Feb 3, 2015
- International Business Machines Corporation
- Salvatore A. Guarnieri
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Certifying server side web applications against security vulnerabil...
- Patent number 8,943,599
- Issue date Jan 27, 2015
- International Business Machines Corporation
- Salvatore A. Guarnieri
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Patents Applicationslast 30 patents

Information Patent Application
DEVELOPING APPLICATIONS USING PRECISE STATIC SECURITY ANALYSIS
- Publication number 20180365414
- Publication date Dec 20, 2018
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BOOSTING THE EFFICIENCY OF STATIC PROGRAM ANALYSIS USING CONFIGURAT...
- Publication number 20180101463
- Publication date Apr 12, 2018
- International Business Machines Corporation
- Salvatore Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
WARNING FILTER BASED ON MACHINE LEARNING
- Publication number 20180046934
- Publication date Feb 15, 2018
- International Business Machines Corporation
- Aleksandr Y. Aravkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC SECURITY ANALYSIS USING A HYBRID REPRESENTATION OF STRING VA...
- Publication number 20160378995
- Publication date Dec 29, 2016
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC SECURITY ANALYSIS USING A HYBRID REPRESENTATION OF STRING VA...
- Publication number 20160335434
- Publication date Nov 17, 2016
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enhanced String Analysis that Improves Accuracy of Static Analysis
- Publication number 20160210217
- Publication date Jul 21, 2016
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Auto-tuning program analysis tools based on user feedback
- Publication number 20160182553
- Publication date Jun 23, 2016
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CORRECTION OF SECURITY DOWNGRADERS
- Publication number 20150347761
- Publication date Dec 3, 2015
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARTITIONING OF PROGRAM ANALYSES INTO SUB-ANALYSES USING DYNAMIC HINTS
- Publication number 20150317237
- Publication date Nov 5, 2015
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Partitioning of Program Analyses into Sub-Analyses Using Dynamic Hints
- Publication number 20150317238
- Publication date Nov 5, 2015
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CORRECTION OF SECURITY DOWNGRADERS
- Publication number 20150186652
- Publication date Jul 2, 2015
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC GENERATION OF ANALYSIS-EQUIVALENT APPLICATION CONSTRUCTS
- Publication number 20150067653
- Publication date Mar 5, 2015
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
After-the-Fact Configuration of Static Analysis Tools Able to Reduc...
- Publication number 20140373157
- Publication date Dec 18, 2014
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
After-The-Fact Configuration Of Static Analysis Tools Able To Reduc...
- Publication number 20140373159
- Publication date Dec 18, 2014
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Progressive Static Security Analysis
- Publication number 20140344938
- Publication date Nov 20, 2014
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Progressive Static Security Analysis
- Publication number 20140344939
- Publication date Nov 20, 2014
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Partitioning of Program Analyses into Sub-Analyses Using Dynamic Hints
- Publication number 20140317747
- Publication date Oct 23, 2014
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Partitioning of Program Analyses into Sub-Analyses Using Dynamic Hints
- Publication number 20140317748
- Publication date Oct 23, 2014
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Scalable and Precise String Analysis Using Index-Sensitive Static S...
- Publication number 20140258992
- Publication date Sep 11, 2014
- International Business Machines Corporation
- Salvatore Angelo Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Scalable And Precise String Analysis Using Index-Sensitive Static S...
- Publication number 20140259174
- Publication date Sep 11, 2014
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Rule Matching In The Presence Of Languages With No Types Or As An A...
- Publication number 20140237604
- Publication date Aug 21, 2014
- International Business Machines Corporation
- Salvatore Angelo Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RULE MATCHING IN THE PRESENCE OF LANGUAGES WITH NO TYPES OR AS AN A...
- Publication number 20140237603
- Publication date Aug 21, 2014
- International Business Machines Corporation
- Salvatore Angelo Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CORRECTION OF SECURITY DOWNGRADERS
- Publication number 20140237605
- Publication date Aug 21, 2014
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CORRECTION OF SECURITY DOWNGRADERS
- Publication number 20140237602
- Publication date Aug 21, 2014
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Mitigating Security Risks Via Code Movement
- Publication number 20140208430
- Publication date Jul 24, 2014
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MITIGATING SECURITY RISKS VIA CODE MOVEMENT
- Publication number 20140208428
- Publication date Jul 24, 2014
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enhanced String Analysis That Improves Accuracy Of Static Analysis
- Publication number 20140189658
- Publication date Jul 3, 2014
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enhanced String Analysis That Improves Accuracy Of Static Analysis
- Publication number 20140189657
- Publication date Jul 3, 2014
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DISCOVERY OF APPLICATION VULNERABILITIES INVOLVING MULTIPLE EXECUTI...
- Publication number 20140157419
- Publication date Jun 5, 2014
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DISCOVERY OF APPLICATION VULNERABILITIES INVOLVING MULTIPLE EXECUTI...
- Publication number 20140157420
- Publication date Jun 5, 2014
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING

Salvatore A. Guarnieri

Person

Patents Grantslast 30 patents

Developing applications using precise static security analysis

Warning filter based on machine learning

Boosting the efficiency of static program analysis using configurat...

Enhanced string analysis that improves accuracy of static analysis

Auto-tuning program analysis tools based on user feedback

Rule matching in the presence of languages with no types or as an a...

Static security analysis using a hybrid representation of string va...

Static security analysis using a hybrid representation of string va...

Static security analysis using a hybrid representation of string va...

Automatic generation of analysis-equivalent application constructs

Static security analysis using a hybrid representation of string va...

Automatic correction of security downgraders

Automatic correction of security downgraders

Rule matching in the presence of languages with no types or as an a...

Enhanced string analysis that improves accuracy of static analysis

After-the-fact configuration of static analysis tools able to reduc...

Partitioning of program analyses into sub-analyses using dynamic hints

Progressive static security analysis

Partitioning of program analyses into sub-analyses using dynamic hints

Automatic correction of security downgraders

Scalable and precise string analysis using index-sensitive static s...

Mitigating security risks via code movement

Automated testing of applications with scripting code

Progressive static security analysis

Scalable and precise string analysis using index-sensitive static s...

Automatic correction of security downgraders

Enhanced string analysis that improves accuracy of static analysis

Sound and effective data-flow analysis in the presence of aliasing

Certifying server side web applications against security vulnerabil...

Certifying server side web applications against security vulnerabil...

Patents Applicationslast 30 patents

DEVELOPING APPLICATIONS USING PRECISE STATIC SECURITY ANALYSIS

BOOSTING THE EFFICIENCY OF STATIC PROGRAM ANALYSIS USING CONFIGURAT...

WARNING FILTER BASED ON MACHINE LEARNING

STATIC SECURITY ANALYSIS USING A HYBRID REPRESENTATION OF STRING VA...

STATIC SECURITY ANALYSIS USING A HYBRID REPRESENTATION OF STRING VA...

Enhanced String Analysis that Improves Accuracy of Static Analysis

Auto-tuning program analysis tools based on user feedback

AUTOMATIC CORRECTION OF SECURITY DOWNGRADERS

PARTITIONING OF PROGRAM ANALYSES INTO SUB-ANALYSES USING DYNAMIC HINTS

Partitioning of Program Analyses into Sub-Analyses Using Dynamic Hints

AUTOMATIC CORRECTION OF SECURITY DOWNGRADERS

AUTOMATIC GENERATION OF ANALYSIS-EQUIVALENT APPLICATION CONSTRUCTS

After-the-Fact Configuration of Static Analysis Tools Able to Reduc...

After-The-Fact Configuration Of Static Analysis Tools Able To Reduc...

Progressive Static Security Analysis

Progressive Static Security Analysis

Partitioning of Program Analyses into Sub-Analyses Using Dynamic Hints

Partitioning of Program Analyses into Sub-Analyses Using Dynamic Hints

Scalable and Precise String Analysis Using Index-Sensitive Static S...

Scalable And Precise String Analysis Using Index-Sensitive Static S...

Rule Matching In The Presence Of Languages With No Types Or As An A...

RULE MATCHING IN THE PRESENCE OF LANGUAGES WITH NO TYPES OR AS AN A...

AUTOMATIC CORRECTION OF SECURITY DOWNGRADERS

AUTOMATIC CORRECTION OF SECURITY DOWNGRADERS

Mitigating Security Risks Via Code Movement

MITIGATING SECURITY RISKS VIA CODE MOVEMENT

Enhanced String Analysis That Improves Accuracy Of Static Analysis

Enhanced String Analysis That Improves Accuracy Of Static Analysis

DISCOVERY OF APPLICATION VULNERABILITIES INVOLVING MULTIPLE EXECUTI...

DISCOVERY OF APPLICATION VULNERABILITIES INVOLVING MULTIPLE EXECUTI...