| 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 |
| 11184438 |
Omnichannel approach to application sharing across different devices |
Paul C. Castro, John Ponzo |
2021-11-23 |
| 11182523 |
Incremental generation of quantum circuits |
Don Greenberg, Ali Javadiabhari, Richard Chen, Jay M. Gambetta |
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 |
