Inventor

TRIPP OMER

IL343 patents

⚠️ This page may combine multiple inventors who share the name “TRIPP OMER”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

TRIPP OMER

IBM

Crowd based detection of device compromise in enterprise setting

Identifying whether an application is malicious

System, method and apparatus for fine-grained privacy specification and verification

Auto-tuning program analysis tools using machine learning

Remediation of security vulnerabilities in computer software

Building reusable function summaries for frequently visited methods to optimize data-flow analysis

Progressive black-box testing of computer software applications

Detecting security vulnerabilities in web applications

Transforming unit tests for security testing

Certifying server side web applications against security vulnerabilities

Automated detection of flaws and incompatibility problems in information flow downgraders

Identifying whether an application is malicious

Training classifiers for program analysis

Modular and/or demand-driven string analysis of a computer program

Enforcement of data privacy to maintain obfuscation of certain data

Global variable security analysis

Static analysis for verification of software program access to secure resources for computer systems

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

PISTOIA MARCO

Runtime enforcement of security checks

Interactive analysis of a security specification

Interactive analysis of a security specification

Distributed static analysis of computer software applications

Static analysis of computer software applications

Eliminating false-positive reports resulting from static analysis of computer software

Automated detection of flaws and incompatibility problems in information flow downgraders

AMIT YAIR

Detecting persistent vulnerabilities in web applications

Detecting persistent vulnerabilities in web applications

Detecting stored cross-site scripting vulnerabilities in web applications

Detection of DOM-based cross-site scripting vulnerabilities

AMAZON TECH INC

Customizable service for recommendations on source code quality

Management of sensitive data using static code analysis

Data flow tracking in program verification

Example-based synthesis of rules for detecting violations of software coding practices

ARTZI SHAY

Detecting and localizing security vulnerabilities in client-server application

Global variable security analysis

Automated testing of applications with scripting code

HAVIV YINNON A

Injection context based static analysis of computer software applications

Identifying security vulnerability in computer software

HAVIV YINNON AVRAHAM

Verification of information-flow downgraders

Eliminating false reports of security vulnerabilities when testing computer software

BURKE MICHAEL GEORGE

Enforcement of data privacy to maintain obfuscation of certain data

KALMAN DANIEL

Selective data flow analysis of bounded regions of computer software applications

TRIPP OMER

Detecting security vulnerabilities relating to cryptographically-sensitive information carriers when testing computer software

FINK STEPHEN

Generating sound and minimal security reports based on static analysis of a program

BESKROVNY EVGENY

Effective testing of authorization logic of web components which utilize claims-based authorization

ABADI AHARON

Fixing security vulnerability in a source code

BERG RYAN

Static analysis for verification of software program access to secure resources for computer systems

BERG RYAN J

Formal analysis of the quality and conformance of information flow downgraders

GUY LOTEM

Automatic classification of security vulnerabilities in computer software applications

NEW ORCHARD ROAD

Static analysis for verification of software program access to secure resources for computer systems