Issued Patents All Time
Showing 51–75 of 299 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11227045 | System, method and apparatus for extracting usage-based fine grained permissions | Pietro Ferrara, Omer Tripp | 2022-01-18 |
| 11222135 | User device privacy protection | Omer Tripp, Julian Timothy Dolby, Pietro Ferrara | 2022-01-11 |
| 11194908 | Synthesizing sanitization code for applications based upon probabilistic prediction model | Peng Liu, Yunhui Zheng, Omer Tripp | 2021-12-07 |
| 11194946 | Optimization of quantum circuits | Ali Javadiabhari, Jay M. Gambetta, Andrew W. Cross, Luciano Bello | 2021-12-07 |
| 11182523 | Incremental generation of quantum circuits | Don Greenberg, Ali Javadiabhari, Richard Chen, Jay M. Gambetta | 2021-11-23 |
| 11184438 | Omnichannel approach to application sharing across different devices | Paul C. Castro, John Ponzo | 2021-11-23 |
| 11176267 | Fine-grained user control over usages of sensitive system resources having private data with applications in privacy enforcement | Lucas Brutschy, Pietro Ferrara, Omer Tripp | 2021-11-16 |
| 11163891 | Identifying computer program security access control violations using static analysis | Matthias Daniel Dietsch, Pietro Ferrara, Omer Tripp | 2021-11-02 |
| 11138319 | Light-weight context tracking and repair for preventing integrity and confidentiality violations | Pietro Ferrara, Omer Tripp, Petar Tsankov | 2021-10-05 |
| 11128707 | Omnichannel approach to application sharing across different devices | Paul C. Castro, John Ponzo | 2021-09-21 |
| 11128706 | Omnichannel approach to application sharing across different devices | Paul C. Castro, John Ponzo | 2021-09-21 |
| 11074519 | Quantum algorithm concatenation | Shaohan Hu, Antonio Mezzacapo, Peng Liu, Richard Chen, Stephen Wood +1 more | 2021-07-27 |
| 11048485 | User interface code re-use based upon machine learning of design documents | Kyungmin Lee, Stephen Wood, Joseph W. Ligman | 2021-06-29 |
| 11032306 | System, method and apparatus for fully precise hybrid security verification of mobile applications | Omer Tripp | 2021-06-08 |
| 11017084 | Detection of malicious code fragments via data-flow isolation | Roee Hay, Omer Tripp | 2021-05-25 |
| 10956580 | Identifying computer program security access control violations using static analysis | Matthias Daniel Dietsch, Pietro Ferrara, Omer Tripp | 2021-03-23 |
| 10956562 | Developing applications using precise static security analysis | Salvatore A. Guarnieri, Omer Tripp | 2021-03-23 |
| 10915659 | Privacy detection of a mobile application program | Pietro Ferrara, Omer Tripp | 2021-02-09 |
| 10846401 | System, method and apparatus for usable code-level statistical analysis with applications in malware detection | Pietro Ferrara, Omer Tripp | 2020-11-24 |
| 10846080 | Cooperative updating of software | Omer Tripp, Pietro Ferrara | 2020-11-24 |
| 10838915 | Data-centric approach to analysis | Omer Tripp, Pietro Ferrara, David M. Lubensky | 2020-11-17 |
| 10839312 | Warning filter based on machine learning | Aleksandr Y. Aravkin, Salvatore A. Guarnieri, Omer Tripp | 2020-11-17 |
| 10831455 | Quantum circuit compilation with quantum libraries as a service | Jay M. Gambetta, Ismael Faro Sertage | 2020-11-10 |
| 10831495 | Parallelization of numeric optimizers | Peng Liu, Richard Chen, Shaohan Hu, John A. Gunnels, Antonio Mezzacapo | 2020-11-10 |
| 10832173 | Cognitive software development | Joseph W. Ligman, Stephen Wood, Shaohan Hu | 2020-11-10 |