| 9385952 |
High assurance packet router |
John C. Blessing, George P. Paskalakis, Jeff Wroten |
2016-07-05 |
| 9361172 |
Systems and methods for synchronizing microprocessors while ensuring cross-processor state and data integrity |
Charles Linn, Jeffrey R. Beane, George P. Paskalakis, Christopher J. Tilley |
2016-06-07 |
| 8127145 |
Computer architecture for an electronic device providing a secure file system |
Terence W. O'Brien, John C. Blessing, Jeffrey L. Murray |
2012-02-28 |
| 8060744 |
Computer architecture for an electronic device providing single-level secure access to multi-level secure file system |
Terence W. O'Brien, John C. Blessing, Jeffrey L. Murray |
2011-11-15 |
| 8041947 |
Computer architecture for an electronic device providing SLS access to MLS file system with trusted loading and protection of program execution memory |
Terence W. O'Brien, John C. Blessing, Jeffrey L. Murray |
2011-10-18 |
| 7779252 |
Computer architecture for a handheld electronic device with a shared human-machine interface |
Terence W. O'Brien, John C. Blessing, Bruce Borsa |
2010-08-17 |
