Inventor

PISTOIA MARCO

US307 patents

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

PISTOIA MARCO

IBM

Method, system and computer program product for enforcing privacy policies

Software verification system, method and computer program element

System and method for supporting digital rights management in an enhanced Java™ 2 runtime environment

Application-level anomaly detection

Transparent digital rights management for extendible content viewers

Crowd based detection of device compromise in enterprise setting

Automatically generating challenge questions inferred from user history data for user authentication

Transparently tracking provenance information in distributed data systems

System and method for the automatic verification of privilege-asserting and subject-executed code

System and method for supporting digital rights management in an enhanced Java™ 2 runtime environment

Application-level anomaly detection

Method and apparatus for automatically determining optimum placement of privileged code locations in existing code

Automated program resource identification and association

Quantum circuit compilation with quantum libraries as a service

Fuzz testing for quantum SDK

Multi-control quantum state inversion gate

Omnichannel approach to application sharing across different devices

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

Transparently tracking provenance information in distributed data systems

Automatically capturing user interactions and evaluating user interfaces in software programs using field testing

System, method, and apparatus for automatic recording and replaying of application executions

Protecting content displayed on a mobile device

Social and proximity based access control for mobile applications

Automatically rendering web or hybrid applications natively

Protecting content displayed on a mobile device

Automatic extraction, modeling, and code mapping of application user interface display screens and components

Transparently tracking provenance information in distributed data systems

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

System, method, apparatus and computer programs for securely using public services for private or enterprise purposes

Detecting security vulnerabilities in web applications

Transparent data service suitable for modifying data storage capabilities in applications

Certifying server side web applications against security vulnerabilities

Automated detection of flaws and incompatibility problems in information flow downgraders

Training classifiers for program analysis

Fault localization using directed test generation

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

Cognitive software development

Enforcement of data privacy to maintain obfuscation of certain data

Global variable security analysis

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

ARTZI SHAY

Detecting and localizing security vulnerabilities in client-server application

Fault localization using condition modeling and return value modeling

HAVIV YINNON A

Injection context based static analysis of computer software applications

BURKE MICHAEL GEORGE

Enforcement of data privacy to maintain obfuscation of certain data