Issued Patents All Time
Showing 1–24 of 24 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11928585 | Neural network architecture for small LIDAR processing networks for slope estimation and ground plane segmentation | Christopher Serrano, Michael A. Warren | 2024-03-12 |
| 10904291 | Low-overhead software transformation to enforce information security policies | David Naumann, Andrey Chudnov, Pape Sylla | 2021-01-26 |
| 10887092 | Anonymous allocation and majority voting in a compromised environment | Joshua W. Baron, Karim El Defrawy, Chongwon Cho | 2021-01-05 |
| 10862908 | System and method for consensus ordering of broadcast messages | Joshua D. Lampkins | 2020-12-08 |
| 10691282 | High-assurance network gateway generators | Michael A. Warren, Gavin D. Holland | 2020-06-23 |
| 10686597 | Semi-robust protocols for secure multiparty computation | Joshua D. Lampkins, Karim El Defrawy, Benjamin Terner | 2020-06-16 |
| 10430587 | System and method for maintaining security tags and reference counts for objects in computer memory | George Kuan | 2019-10-01 |
| 10423780 | System and method for synthesis of correct-by-construction cryptographic software from specification | Alexei Kopylov | 2019-09-24 |
| 10402584 | System and method for translating security objectives of computer software to properties of software code | Alexei Kopylov, George Kuan | 2019-09-03 |
| 10366232 | Language-based missing function call detection | George Kuan, Alexei Kopylov | 2019-07-30 |
| 10084819 | System for detecting source code security flaws through analysis of code history | George Kuan, Alexei Kopylov | 2018-09-25 |
| 9846596 | System and method for cloud control operations plane based on proactive security algorithms | Kirill Minkovich, Karim El Defrawy, Joshua W. Baron, Eric P. Tressler, Gavin D. Holland | 2017-12-19 |
| 9697462 | Synaptic time multiplexing | Jose Cruz-Albrecht, Narayan Srinivasa, Peter Petre, Youngkwan Cho | 2017-07-04 |
| 9600767 | System, method, and computer program product for generating a single software code based on a description of a distributed architecture | Deepak Khosla, Yang Chen | 2017-03-21 |
| 9378377 | System for information flow security inference through program slicing | George Kuan, Alexei Kopylov | 2016-06-28 |
| 9317682 | Library-based method for information flow integrity enforcement and robust information flow policy development | Alexei Kopylov, George Kuan | 2016-04-19 |
| 9275328 | Neuromorphic compiler | Kirill Minkovich, Yougkwan Cho, Narayan Srinivasa | 2016-03-01 |
| 9224067 | System and methods for digital artifact genetic modeling and forensic analysis | Tsai-Ching Lu, Hankyu Moon, Gavin D. Holland, David L. Allen, Michael D. Howard | 2015-12-29 |
| 9147160 | System and method for asynchronous explanation and propagation-based constraint solving | — | 2015-09-29 |
| 9026786 | System for ensuring that promises are kept in an anonymous system | Joshua W. Baron, Karim El Defrawy | 2015-05-05 |
| 8990249 | Revision control server with self-hosting multi-level access controls and user notifications | Yang Chen | 2015-03-24 |
| 8977578 | Synaptic time multiplexing neuromorphic network that forms subsets of connections during different time slots | Jose Cruz-Albrecht, Narayan Srinivasa, Peter Petre, Youngkwan Cho | 2015-03-10 |
| 8645310 | Efficient source of infeasibility identification in timed automata traces | Shengbing Jiang | 2014-02-04 |
| 8370422 | Establishing common interest negotiation links between consumers and suppliers to facilitate solving a resource allocation problem | David W. Payton | 2013-02-05 |