Issued Patents All Time
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12282469 | Indexing structured data with security information | Philip Monroe, Darius Kasad, Tejas Mandke, David Vieira, Vladimir Giverts | 2025-04-22 |
| 11586437 | Data flow tracking in program verification | Omer Tripp, Rajdeep Mukherjee, Yingjun Lyu | 2023-02-21 |
| 10733162 | Indexing structured data with security information | Philip Monroe, Darius Kasad, Tejas Mandke, David Vieira, Vladimir Giverts | 2020-08-04 |
| 10075986 | Method and apparatus for establishing communications with a remote node on a switched network based on hypertext calling received from a packet network | Alfredo José Narain, German Angel | 2018-09-11 |
| 9203971 | Method and apparatus for establishing communications with a remote node on a switched network based on hypertext calling received from a packet network | Alfredo José Narain, Angel German | 2015-12-01 |
| 7957368 | Method and apparatus for establishing communications with a remote node on a switched network based on hypertext calling received from a packet network | Alfredo José Narain, German Angel | 2011-06-07 |
| 7274686 | Method and apparatus for establishing communications with a remote node on a switched network based on hypertext calling received from a packet network | Alfredo José Narain, German Angel | 2007-09-25 |
| 6535506 | Method and apparatus for establishing communications with a remote node on a switched network based on hypertext calling received from a packet network | Alfredo José Narain, German Angel | 2003-03-18 |