Patent | Date |
---|
Verified inference engine for autonomy Grant 10,955,843 - Hardin March 23, 2 | 2021-03-23 |
System and method for cooperative operation of piloted and optionally piloted aircraft Grant 10,558,209 - Hardin , et al. Feb | 2020-02-11 |
Regular expression based cyber fuzzing attack preventer Grant 10,454,968 - Bortz , et al. Oc | 2019-10-22 |
Verified inference engine for autonomy Grant 10,095,230 - Hardin October 9, 2 | 2018-10-09 |
High assurance guard for security applications utilizing authentication and authorization services for sources of network data Grant 8,881,260 - Hardin , et al. November 4, 2 | 2014-11-04 |
High-assurance architecture for routing of information between networks of differing security level Grant 8,161,529 - Bortz , et al. April 17, 2 | 2012-04-17 |
Method and system for the development of high-assurance microcode Grant 8,041,554 - Limondin , et al. October 18, 2 | 2011-10-18 |
System for providing secure and trusted computing environments through a secure computing module Grant 7,734,933 - Marek , et al. June 8, 2 | 2010-06-08 |
System for providing secure and trusted computing environments Grant 7,716,720 - Marek , et al. May 11, 2 | 2010-05-11 |
Evaluatable high-assurance guard for security applications Grant 7,606,254 - Hardin , et al. October 20, 2 | 2009-10-20 |
System and method for asynchronous transfer of control Grant 7,171,501 - Bollella , et al. January 30, 2 | 2007-01-30 |
Apparatus and method for interfacing hardware events with software events App 20060294527 - Hardin; David S. ;   et al. | 2006-12-28 |
Builder tool and interface for system supporting multiple virtual machines Grant 7,146,602 - Frerking , et al. December 5, 2 | 2006-12-05 |
Software component model for time sensitive embedded applications Grant 7,114,163 - Hardin , et al. September 26, 2 | 2006-09-26 |
System and method for asynchronous transfer of control App 20030140086 - Bollella, Gregory ;   et al. | 2003-07-24 |
Multiple virtual machine environment management system App 20030101440 - Hardin, David S. ;   et al. | 2003-05-29 |
Method and apparatus for scoped memory App 20030097537 - Bollella, Gregory ;   et al. | 2003-05-22 |
Apparatus and method for interfacing hardware events with software events App 20020165999 - Hardin, David S. ;   et al. | 2002-11-07 |
Software component model for time sensitive embedded applications App 20020163520 - Hardin, David S. ;   et al. | 2002-11-07 |
Multiple virtual machine environment management system App 20020161961 - Hardin, David S. ;   et al. | 2002-10-31 |
System and method for concurrently supporting multiple independent virtual machines App 20020099753 - Hardin, David S. ;   et al. | 2002-07-25 |
Builder tool and interface for system supporting multiple virtual machines App 20020095396 - Frerking, Michael J. ;   et al. | 2002-07-18 |
Real time processor capable of concurrently running multiple independent JAVA machines Grant 6,374,286 - Gee , et al. April 16, 2 | 2002-04-16 |