Omer Tripp

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Collaborative application testing
- Patent number 11,301,313
- Issue date Apr 12, 2022
- International Business Machines Corporation
- Ory Segal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mining attack vectors for black-box security testing
- Patent number 10,841,327
- Issue date Nov 17, 2020
- International Business Machines Corporation
- Evgeny Beskrovny
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Mining attack vectors for black-box security testing
- Patent number 10,785,246
- Issue date Sep 22, 2020
- International Business Machines Corporation
- Evgeny Beskrovny
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
System and method for static detection and categorization of inform...
- Patent number 10,742,666
- Issue date Aug 11, 2020
- International Business Machines Corporation
- Yinnon Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting malicious code based on conditional branch asymmetry
- Patent number 10,657,255
- Issue date May 19, 2020
- International Business Machines Corporation
- Roee Hay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detection of second order vulnerabilities in web services
- Patent number 10,586,049
- Issue date Mar 10, 2020
- International Business Machines Corporation
- Yair Amit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detection of second order vulnerabilities in web services
- Patent number 10,579,802
- Issue date Mar 3, 2020
- International Business Machines Corporation
- Yair Amit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Collaborative application testing
- Patent number 10,521,288
- Issue date Dec 31, 2019
- International Business Machines Corporation
- Ory Segal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Collaborative application testing
- Patent number 10,474,558
- Issue date Nov 12, 2019
- International Business Machines Corporation
- Ory Segal
- 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
Hybrid program analysis
- Patent number 10,275,238
- Issue date Apr 30, 2019
- International Business Machines Corporation
- Evgeny Beskrovny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static analysis with input reduction
- Patent number 10,157,049
- Issue date Dec 18, 2018
- International Business Machines Corporation
- Yinnon A. Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimizing automated interactions with web applications
- Patent number 10,108,525
- Issue date Oct 23, 2018
- International Business Machines Corporation
- Igal Kreichman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimizing automated interactions with computer software applications
- Patent number 10,102,100
- Issue date Oct 16, 2018
- International Business Machines Corporation
- Igal Kreichman
- 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
Detecting security vulnerabilities on computing devices
- Patent number 9,977,903
- Issue date May 22, 2018
- International Business Machines Corporation
- Roee Hay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting security vulnerabilities on computing devices
- Patent number 9,959,411
- Issue date May 1, 2018
- International Business Machines Corporation
- Roee Hay
- 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
Identifying stored security vulnerabilities in computer software ap...
- Patent number 9,904,786
- Issue date Feb 27, 2018
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Finding services in a service registry system of a service-oriented...
- Patent number 9,898,503
- Issue date Feb 20, 2018
- International Business Machines Corporation
- Evgeny Beskrovny
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
System, method and apparatus for simultaneous definition and enforc...
- Patent number 9,836,608
- Issue date Dec 5, 2017
- International Business Machines Corporation
- Paolina Centonze
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Simulating black box test results using information from white box...
- Patent number 9,747,187
- Issue date Aug 29, 2017
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Customizing a security report using static analysis
- Patent number 9,740,868
- Issue date Aug 22, 2017
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Customizing a security report using static analysis
- Patent number 9,727,734
- Issue date Aug 8, 2017
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Simulating black box test results using information from white box...
- Patent number 9,720,798
- Issue date Aug 1, 2017
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Security analysis using relational abstraction of data structures
- Patent number 9,690,945
- Issue date Jun 27, 2017
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Security analysis using relational abstraction of data structures
- Patent number 9,690,946
- Issue date Jun 27, 2017
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method and apparatus for simultaneous definition and enforc...
- Patent number 9,607,154
- Issue date Mar 28, 2017
- International Business Machines Corporation
- Paolina Centonze
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Comparing webpage elements having asynchronous functionality
- Patent number 9,588,945
- Issue date Mar 7, 2017
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
COLLABORATIVE APPLICATION TESTING
- Publication number 20190384665
- Publication date Dec 19, 2019
- International Business Machines Corporation
- Ory Segal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTING MALICIOUS CODE BASED ON CONDITIONAL BRANCH ASYMMETRY
- Publication number 20170177868
- Publication date Jun 22, 2017
- International Business Machines Corporation
- Roee Hay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM, METHOD AND APPARATUS FOR SIMULTANEOUS DEFINITION AND ENFORC...
- Publication number 20170039375
- Publication date Feb 9, 2017
- International Business Machines Corporation
- Paolina CENTONZE
- 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
DETERMINING PRIVACY GRANULARITY
- Publication number 20160171225
- Publication date Jun 16, 2016
- International Business Machines Corporation
- Roee Hay
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR STATIC DETECTION AND CATEGORIZATION OF INFORM...
- Publication number 20160156650
- Publication date Jun 2, 2016
- International Business Machines Corporation
- Yinnon Haviv
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
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
SYSTEM, METHOD AND APPARATUS TO VISUALLY CONFIGURE AN ANALYSIS OF A...
- Publication number 20150288705
- Publication date Oct 8, 2015
- International Business Machines Corporation
- Joseph W. Ligman
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
DETERMINATION AND CLASSIFICATION OF DEFENSE MEASURES IN WEB APPLICA...
- Publication number 20150200931
- Publication date Jul 16, 2015
- International Business Machines Corporation
- Alexander Landa
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
DETERMINATION AND CLASSIFICATION OF DEFENSE MEASURES IN WEB APPLICA...
- Publication number 20150200961
- Publication date Jul 16, 2015
- International Business Machines Corporation
- Alexander Landa
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
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
COMPARING WEBPAGE ELEMENTS HAVING ASYNCHRONOUS FUNCTIONALITY
- Publication number 20150186496
- Publication date Jul 2, 2015
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPARING WEBPAGE ELEMENTS HAVING ASYNCHRONOUS FUNCTIONALITY
- Publication number 20150186342
- Publication date Jul 2, 2015
- International Business Machines Corporation
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING WEB APPLICATIONS FOR SECURITY VULNERABILITIES WITH METAREQU...
- Publication number 20150163237
- Publication date Jun 11, 2015
- International Business Machines Corporation
- Marco Pistoia
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
QUANTITATIVE ANALYSIS OF INFORMATION LEAKAGE VULNERABILITIES
- Publication number 20150161393
- Publication date Jun 11, 2015
- International Business Machines Corporation
- Marco Pistoia
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HYPERLINK DATA PRESENTATION
- Publication number 20150135324
- Publication date May 14, 2015
- International Business Machines Corporation
- Idan Ben-Harrush
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System, Method and Apparatus for Simultaneous Definition and Enforc...
- Publication number 20150089637
- Publication date Mar 26, 2015
- Paolina Centonze
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Building Reusable Function Summaries for Frequently Visited Methods...
- Publication number 20150067834
- Publication date Mar 5, 2015
- International Business Machines Corporation
- Marco Pistoia
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BUILDING REUSABLE FUNCTION SUMMARIES FOR FREQUENTLY VISITED METHODS...
- Publication number 20150067660
- Publication date Mar 5, 2015
- International Business Machines Corporation
- Marco Pistoia
- 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
URL TAGGING BASED ON USER BEHAVIOR
- Publication number 20150046787
- Publication date Feb 12, 2015
- International Business Machines Corporation
- Yoav Rubin
- 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
DETECTING SECURITY VULNERABILITIES ON COMPUTING DEVICES
- Publication number 20140373158
- Publication date Dec 18, 2014
- International Business Machines Corporation
- Roee HAY
- 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
Optimizing Automated Interactions with Web Applications
- Publication number 20140372847
- Publication date Dec 18, 2014
- International Business Machines Corporation
- Igal Kreichman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OPTIMIZING TEST DATA PAYLOAD SELECTION FOR TESTING COMPUTER SOFTWAR...
- Publication number 20140359370
- Publication date Dec 4, 2014
- Evgeny Beskrovny
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Collaborative application testing

Mining attack vectors for black-box security testing

Mining attack vectors for black-box security testing

System and method for static detection and categorization of inform...

Detecting malicious code based on conditional branch asymmetry

Detection of second order vulnerabilities in web services

Detection of second order vulnerabilities in web services

Collaborative application testing

Collaborative application testing

Enhanced string analysis that improves accuracy of static analysis

Hybrid program analysis

Static analysis with input reduction

Optimizing automated interactions with web applications

Optimizing automated interactions with computer software applications

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

Detecting security vulnerabilities on computing devices

Detecting security vulnerabilities on computing devices

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

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

Identifying stored security vulnerabilities in computer software ap...

Finding services in a service registry system of a service-oriented...

System, method and apparatus for simultaneous definition and enforc...

Simulating black box test results using information from white box...

Customizing a security report using static analysis

Customizing a security report using static analysis

Simulating black box test results using information from white box...

Security analysis using relational abstraction of data structures

Security analysis using relational abstraction of data structures

System, method and apparatus for simultaneous definition and enforc...

Comparing webpage elements having asynchronous functionality

Patents Applicationslast 30 patents

COLLABORATIVE APPLICATION TESTING

DETECTING MALICIOUS CODE BASED ON CONDITIONAL BRANCH ASYMMETRY

SYSTEM, METHOD AND APPARATUS FOR SIMULTANEOUS DEFINITION AND ENFORC...

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

DETERMINING PRIVACY GRANULARITY

SYSTEM AND METHOD FOR STATIC DETECTION AND CATEGORIZATION OF INFORM...

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

SYSTEM, METHOD AND APPARATUS TO VISUALLY CONFIGURE AN ANALYSIS OF A...

DETERMINATION AND CLASSIFICATION OF DEFENSE MEASURES IN WEB APPLICA...

DETERMINATION AND CLASSIFICATION OF DEFENSE MEASURES IN WEB APPLICA...

AUTOMATIC CORRECTION OF SECURITY DOWNGRADERS

COMPARING WEBPAGE ELEMENTS HAVING ASYNCHRONOUS FUNCTIONALITY

COMPARING WEBPAGE ELEMENTS HAVING ASYNCHRONOUS FUNCTIONALITY

TESTING WEB APPLICATIONS FOR SECURITY VULNERABILITIES WITH METAREQU...

QUANTITATIVE ANALYSIS OF INFORMATION LEAKAGE VULNERABILITIES

HYPERLINK DATA PRESENTATION

System, Method and Apparatus for Simultaneous Definition and Enforc...

Building Reusable Function Summaries for Frequently Visited Methods...

BUILDING REUSABLE FUNCTION SUMMARIES FOR FREQUENTLY VISITED METHODS...

AUTOMATIC GENERATION OF ANALYSIS-EQUIVALENT APPLICATION CONSTRUCTS

URL TAGGING BASED ON USER BEHAVIOR

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

DETECTING SECURITY VULNERABILITIES ON COMPUTING DEVICES

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

Optimizing Automated Interactions with Web Applications

OPTIMIZING TEST DATA PAYLOAD SELECTION FOR TESTING COMPUTER SOFTWAR...