YINNON A. HAVIV

Person

BEEROTAIM, IL

People

Patents Grantslast 30 patents

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
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
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
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
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
Fixing security vulnerability in a source code
- Patent number 9,298,924
- Issue date Mar 29, 2016
- International Business Machines Corporation
- Aharon Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for static detection and categorization of inform...
- Patent number 9,275,246
- Issue date Mar 1, 2016
- International Business Machines Corporation
- Yinnon Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detection of DOM-based cross-site scripting vulnerabilities
- Patent number 9,223,977
- Issue date Dec 29, 2015
- International Business Machines Corporation
- Yair Amit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Importance-based call graph construction
- Patent number 9,208,055
- Issue date Dec 8, 2015
- International Business Machines Corporation
- Stephen Fink
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Static analysis of computer software applications having a model-vi...
- Patent number 9,189,204
- Issue date Nov 17, 2015
- International Business Machines Corporation
- Yinnon A. Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Black-box testing of web applications with client-side code evaluation
- Patent number 9,032,528
- Issue date May 12, 2015
- International Business Machines Corporation
- Yinnon A. Haviv
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Black-box testing of web applications with client-side code evaluation
- Patent number 8,910,291
- Issue date Dec 9, 2014
- International Business Machines Corporation
- Yinnon A. Haviv
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Generating sound and minimal security reports based on static analy...
- Patent number 8,850,405
- Issue date Sep 30, 2014
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fixing security vulnerability in a source code
- Patent number 8,819,637
- Issue date Aug 26, 2014
- International Business Machines Corporation
- Aharon Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static analysis of computer software applications having a model-vi...
- Patent number 8,726,245
- Issue date May 13, 2014
- International Business Machines Corporation
- Yinnon A. Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detection of DOM-based cross-site scripting vulnerabilities
- Patent number 8,683,596
- Issue date Mar 25, 2014
- International Business Machines Corporation
- Yair Amit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of information-flow downgraders
- Patent number 8,635,602
- Issue date Jan 21, 2014
- International Business Machines Corporation
- Yinnon Avraham Haviv
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Eliminating false reports of security vulnerabilities when testing...
- Patent number 8,584,246
- Issue date Nov 12, 2013
- International Business Machines Corporation
- Yinnon Avraham Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method and apparatus for simultaneous definition and enforc...
- Patent number 8,572,727
- Issue date Oct 29, 2013
- International Business Machines Corporation
- Paolina Centonze
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Determining suitable insertion points for string sanitizers in a co...
- Patent number 8,539,466
- Issue date Sep 17, 2013
- International Business Machines Corporation
- Aharon Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Injection context based static analysis of computer software applic...
- Patent number 8,528,095
- Issue date Sep 3, 2013
- International Business Machines Corporation
- Yinnon A. Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying security vulnerability in computer software
- Patent number 8,468,605
- Issue date Jun 18, 2013
- International Business Machines Corporation
- Yinnon A. Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Importance-based call graph construction
- Patent number 8,375,371
- Issue date Feb 12, 2013
- International Business Machines Corporation
- Stephen Fink
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
System, method, and program for determining validity of string
- Patent number 8,365,280
- Issue date Jan 29, 2013
- International Business Machines Corporation
- Yinnon Avraham Haviv
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

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
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
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
STATIC ANALYSIS OF COMPUTER SOFTWARE APPLICATIONS HAVING A MODEL-VI...
- Publication number 20140215431
- Publication date Jul 31, 2014
- International Business Machines Corporation
- Yinnon A. HAVIV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPORTANCE-BASED CALL GRAPH CONSTRUCTION
- Publication number 20130191691
- Publication date Jul 25, 2013
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FIXING SECURITY VULNERABILITY IN A SOURCE CODE
- Publication number 20130133075
- Publication date May 23, 2013
- International Business Machines Corporation
- Aharon Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTION OF DOM-BASED CROSS-SITE SCRIPTING VULNERABILITIES
- Publication number 20130111595
- Publication date May 2, 2013
- International Business Machines Corporation
- YAIR AMIT
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC ANALYSIS WITH INPUT REDUCTION
- Publication number 20130111449
- Publication date May 2, 2013
- International Business Machines Corporation
- Yinnon A. HAVIV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTION OF DOM-BASED CROSS-SITE SCRIPTING VULNERABILITIES
- Publication number 20130111594
- Publication date May 2, 2013
- International Business Machines Corporation
- YAIR AMIT
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BLACK-BOX TESTING OF WEB APPLICATIONS WITH CLIENT-SIDE CODE EVALUATION
- Publication number 20130007887
- Publication date Jan 3, 2013
- International Business Machines Corporation
- YINNON A. HAVIV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BLACK-BOX TESTING OF WEB APPLICATIONS WITH CLIENT-SIDE CODE EVALUATION
- Publication number 20130007885
- Publication date Jan 3, 2013
- International Business Machines Corporation
- YINNON A. HAVIV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING SUITABLE INSERTION POINTS FOR STRING SANITIZERS IN A CO...
- Publication number 20120304161
- Publication date Nov 29, 2012
- International Business Machines Corporation
- Aharon Ahadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX...
- Publication number 20120254839
- Publication date Oct 4, 2012
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
WEB CRAWLING USING STATIC ANALYSIS
- Publication number 20120215757
- Publication date Aug 23, 2012
- International Business Machines Corporation
- Omri Weisman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating Sound and Minimal Security Reports Based on Static Analy...
- Publication number 20120216177
- Publication date Aug 23, 2012
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Static Analysis of Computer Software Applications Having A Model-Vi...
- Publication number 20120198417
- Publication date Aug 2, 2012
- International Business Machines Corporation
- Yinnon A. HAVIV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX...
- Publication number 20120110551
- Publication date May 3, 2012
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC ANALYSIS OF CLIENT-SERVER APPLICATIONS USING FRAMEWORK INDEP...
- Publication number 20120102474
- Publication date Apr 26, 2012
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Verification of Information-Flow Downgraders
- Publication number 20120023486
- Publication date Jan 26, 2012
- International Business Machines Corporation
- Yinnon A. Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INJECTION CONTEXT BASED STATIC ANALYSIS OF COMPUTER SOFTWARE APPLIC...
- Publication number 20110321016
- Publication date Dec 29, 2011
- International Business Machines Corporation
- YINNON A. HAVIV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FIXING SECURITY VULNERABILITY IN A SOURCE CODE
- Publication number 20110302566
- Publication date Dec 8, 2011
- International Business Machines Corporation
- Aharon Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING SECURITY VULNERABILITY IN COMPUTER SOFTWARE
- Publication number 20110131656
- Publication date Jun 2, 2011
- International Business Machines Corporation
- Yinnon A. HAVIV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System, Method and Apparatus for Simultaneous Definition and Enforc...
- Publication number 20110126282
- Publication date May 26, 2011
- International Business Machines Corporation
- Paolina Centonze
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Eliminating False Reports of Security Vulnerabilities when Testing...
- Publication number 20110087892
- Publication date Apr 14, 2011
- International Business Machines Corporation
- Yinnon Avraham HAVIV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR STATIC DETECTION AND CATEGORIZATION OF INFORM...
- Publication number 20110088023
- Publication date Apr 14, 2011
- International Business Machines Corporation
- YINNON HAVIV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM, METHOD, AND PROGRAM FOR DETERMINING VALIDITY OF STRING
- Publication number 20100333201
- Publication date Dec 30, 2010
- International Business Machines Corporation
- Yinnon A. Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Importance-Based Call Graph Construction
- Publication number 20100284527
- Publication date Nov 11, 2010
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING

YINNON A. HAVIV

Person

Patents Grantslast 30 patents

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

Static analysis with input reduction

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

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

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

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

Fixing security vulnerability in a source code

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

Detection of DOM-based cross-site scripting vulnerabilities

Importance-based call graph construction

Static analysis of computer software applications having a model-vi...

Black-box testing of web applications with client-side code evaluation

Black-box testing of web applications with client-side code evaluation

Generating sound and minimal security reports based on static analy...

Fixing security vulnerability in a source code

Static analysis of computer software applications having a model-vi...

Detection of DOM-based cross-site scripting vulnerabilities

Verification of information-flow downgraders

Eliminating false reports of security vulnerabilities when testing...

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

Determining suitable insertion points for string sanitizers in a co...

Injection context based static analysis of computer software applic...

Identifying security vulnerability in computer software

Importance-based call graph construction

System, method, and program for determining validity of string

Patents Applicationslast 30 patents

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

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

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

STATIC ANALYSIS OF COMPUTER SOFTWARE APPLICATIONS HAVING A MODEL-VI...

IMPORTANCE-BASED CALL GRAPH CONSTRUCTION

FIXING SECURITY VULNERABILITY IN A SOURCE CODE

DETECTION OF DOM-BASED CROSS-SITE SCRIPTING VULNERABILITIES

STATIC ANALYSIS WITH INPUT REDUCTION

DETECTION OF DOM-BASED CROSS-SITE SCRIPTING VULNERABILITIES

BLACK-BOX TESTING OF WEB APPLICATIONS WITH CLIENT-SIDE CODE EVALUATION

BLACK-BOX TESTING OF WEB APPLICATIONS WITH CLIENT-SIDE CODE EVALUATION

DETERMINING SUITABLE INSERTION POINTS FOR STRING SANITIZERS IN A CO...

SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX...

WEB CRAWLING USING STATIC ANALYSIS

Generating Sound and Minimal Security Reports Based on Static Analy...

Static Analysis of Computer Software Applications Having A Model-Vi...

SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX...

STATIC ANALYSIS OF CLIENT-SERVER APPLICATIONS USING FRAMEWORK INDEP...

Verification of Information-Flow Downgraders

INJECTION CONTEXT BASED STATIC ANALYSIS OF COMPUTER SOFTWARE APPLIC...

FIXING SECURITY VULNERABILITY IN A SOURCE CODE

IDENTIFYING SECURITY VULNERABILITY IN COMPUTER SOFTWARE

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

Eliminating False Reports of Security Vulnerabilities when Testing...

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

SYSTEM, METHOD, AND PROGRAM FOR DETERMINING VALIDITY OF STRING

Importance-Based Call Graph Construction