Patent | Date |
---|
Method For Proving Or Identifying Counter-examples In Neural Network Systems That Process Point Cloud Data App 20210279570 - Warren; Michael A. ;   et al. | 2021-09-09 |
Neural Network Architecture For Small Lidar Processing Networks For Slope Estimation And Ground Plane Segmentation App 20210278854 - Serrano; Christopher ;   et al. | 2021-09-09 |
Low-overhead software transformation to enforce information security policies Grant 10,904,291 - Naumann , et al. January 26, 2 | 2021-01-26 |
Anonymous allocation and majority voting in a compromised environment Grant 10,887,092 - Baron , et al. January 5, 2 | 2021-01-05 |
System and method for consensus ordering of broadcast messages Grant 10,862,908 - Nogin , et al. December 8, 2 | 2020-12-08 |
High-assurance network gateway generators Grant 10,691,282 - Nogin , et al. | 2020-06-23 |
Semi-robust protocols for secure multiparty computation Grant 10,686,597 - Lampkins , et al. | 2020-06-16 |
System And Method For Consensus Ordering Of Broadcast Messages App 20200084159 - Nogin; Aleksey ;   et al. | 2020-03-12 |
Anonymous Allocation And Majority Voting In A Compromised Environment App 20200052890 - Baron; Joshua W. ;   et al. | 2020-02-13 |
High-assurance Network Gateway Generators App 20200034539 - Nogin; Aleksey ;   et al. | 2020-01-30 |
System and method for maintaining security tags and reference counts for objects in computer memory Grant 10,430,587 - Kuan , et al. O | 2019-10-01 |
System and method for synthesis of correct-by-construction cryptographic software from specification Grant 10,423,780 - Kopylov , et al. Sept | 2019-09-24 |
System and method for translating security objectives of computer software to properties of software code Grant 10,402,584 - Kopylov , et al. Sep | 2019-09-03 |
Language-based missing function call detection Grant 10,366,232 - Kuan , et al. July 30, 2 | 2019-07-30 |
System for detecting source code security flaws through analysis of code history Grant 10,084,819 - Nogin , et al. September 25, 2 | 2018-09-25 |
System and method for cloud control operations plane based on proactive security algorithms Grant 9,846,596 - Nogin , et al. December 19, 2 | 2017-12-19 |
System And Method For Maintaining Security Tags And Reference Counts For Objects In Computer Memory App 20170300694 - Kuan; George ;   et al. | 2017-10-19 |
Synaptic time multiplexing Grant 9,697,462 - Cruz-Albrecht , et al. July 4, 2 | 2017-07-04 |
System, method, and computer program product for generating a single software code based on a description of a distributed architecture Grant 9,600,767 - Nogin , et al. March 21, 2 | 2017-03-21 |
System for information flow security inference through program slicing Grant 9,378,377 - Kuan , et al. June 28, 2 | 2016-06-28 |
Library-based method for information flow integrity enforcement and robust information flow policy development Grant 9,317,682 - Kopylov , et al. April 19, 2 | 2016-04-19 |
Neuromorphic compiler Grant 9,275,328 - Minkovich , et al. March 1, 2 | 2016-03-01 |
System and methods for digital artifact genetic modeling and forensic analysis Grant 9,224,067 - Lu , et al. December 29, 2 | 2015-12-29 |
System and method for asynchronous explanation and propagation-based constraint solving Grant 9,147,160 - Nogin September 29, 2 | 2015-09-29 |
Framework For Fine-grain Access Control From High-level Application Permissions App 20150150119 - HOLLAND; GAVIN D. ;   et al. | 2015-05-28 |
System for ensuring that promises are kept in an anonymous system Grant 9,026,786 - Nogin , et al. May 5, 2 | 2015-05-05 |
Revision control server with self-hosting multi-level access controls and user notifications Grant 8,990,249 - Nogin , et al. March 24, 2 | 2015-03-24 |
Synaptic time multiplexing neuromorphic network that forms subsets of connections during different time slots Grant 8,977,578 - Cruz-Albrecht , et al. March 10, 2 | 2015-03-10 |
System And Method For Asynchronous Explanation And Propagation-based Constraint Solving App 20140207720 - Nogin; Aleksey | 2014-07-24 |
Efficient source of infeasibility identification in timed automata traces Grant 8,645,310 - Jiang , et al. February 4, 2 | 2014-02-04 |
Establishing common interest negotiation links between consumers and suppliers to facilitate solving a resource allocation problem Grant 8,370,422 - Payton , et al. February 5, 2 | 2013-02-05 |
Efficient Source Of Infeasibility Identification In Timed Automata Traces App 20120246108 - JIANG; Shengbing ;   et al. | 2012-09-27 |
Establishing Common Interest Negotiation Links Between Consumers and Suppliers to Facilitate Solving a Resource Allocation Problem App 20110196912 - Payton; David W. ;   et al. | 2011-08-11 |