Omer Tripp

IBM Research, IBM T. J. Watson Research Center, Researcher

Followers

Following

Co-authors

Public Views

Francesco Stingo

Università degli Studi di Firenze (University of Florence)

Oleg Yu Vorobyev

Siberian Federal University

Natasha Myers

York University

Jeffrey Townsend

Yale University

yilmaz kaya

Samsun Ondokuz Mayis University

Annelise Barron

Stanford University

Professor Bashir O M O L A R A N Bello

University of Abuja, Nigeria

Emmanuel I Aigbokhan

University of Benin, Benin City , Nigeria.

Tulay Kansu

Hacettepe University

Prof.Dr. Hakan Ulukan

Ankara

Interests

Uploads

Papers by Omer Tripp

CRAWLING COMPUTER-BASED OBJECTS

ShamDroid: gracefully degrading functionality in the presence of limited resource access

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015, 2015

Given a program whose functionality depends on access to certain external resources, we investiga... more

Download

CortesiVMCAI2015

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints

Lecture Notes in Computer Science, 2015

JANUS

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12, 2012

This paper addresses the problem of reducing unnecessary conflicts in optimistic synchronization.... more This paper addresses the problem of reducing unnecessary conflicts in optimistic synchronization. Optimistic synchronization must ensure that any two concurrently executing transactions that commit are properly synchronized. Conflict detection is an approximate check for this condition. For efficiency, the traditional approach to conflict detection conservatively checks that the memory locations mutually accessed by two concurrent transactions are accessed only for reading.

Download

Exploration in the Dark: Reasoning about Planning Strategies

Testing web services that are accessible via service oriented architecture (soa) interceptors

Optimizing automated interactions with computer software applications

Scenario-based crawling

Mining attack vectors for black-box security testing

Correcting workflow security vulnerabilities via static analysis and virtual patching

Security analysis using relational abstraction of data structures

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

Identifying stored vulnerabilities in a web service

Performance testing of web components using identity information

Static analysis for discovery of timing attack vulnerabilities in a computer software application

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

Customizing a security report using static analysis

Hybrid dependency analysis using dynamic and static analyses

Web services

CRAWLING COMPUTER-BASED OBJECTS

ShamDroid: gracefully degrading functionality in the presence of limited resource access

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015, 2015

Given a program whose functionality depends on access to certain external resources, we investiga... more

Download

CortesiVMCAI2015

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints

Lecture Notes in Computer Science, 2015

JANUS

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12, 2012

Download

Exploration in the Dark: Reasoning about Planning Strategies

Testing web services that are accessible via service oriented architecture (soa) interceptors

Optimizing automated interactions with computer software applications

Scenario-based crawling

Mining attack vectors for black-box security testing

Correcting workflow security vulnerabilities via static analysis and virtual patching

Security analysis using relational abstraction of data structures

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

Identifying stored vulnerabilities in a web service

Performance testing of web components using identity information

Static analysis for discovery of timing attack vulnerabilities in a computer software application

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

Customizing a security report using static analysis

Hybrid dependency analysis using dynamic and static analyses

Web services

Omer Tripp

Related Authors

Uploads

Papers by Omer Tripp

Log In