Issued Patents All Time
Showing 25 most recent of 51 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9940106 | Generating programs using context-free compositions and probability of determined transformation rules | Adam Kalai, Sumit Gulwani, Aditya Krishna Menon, Omer Tamuz | 2018-04-10 |
| 9400639 | Generating programs using context-free compositions and probability of determined transformation rules | Adam Kalai, Sumit Gulwani, Aditya Krishna Menon, Omer Tamuz | 2016-07-26 |
| 9253195 | Transformation of sequential access control lists utilizing certificates | Carl M. Ellison, Paul J. Leach, Melissa W. Dunn, Ravindra Nath Pandya, Charles W. Kaufman | 2016-02-02 |
| 8468579 | Transformation of sequential access control lists utilizing certificates | Carl M. Ellison, Paul J. Leach, Melissa W. Dunn, Ravindra Nath Pandya, Charles W. Kaufman | 2013-06-18 |
| 8302149 | Virtual distributed security system | Giovanni M. Della-Libera, Christopher G. Kaler, Scott A. Konersmann, Paul J. Leach, Bradford H. Lovering +4 more | 2012-10-30 |
| 8006295 | Domain ID service | Carl M. Ellison, Paul J. Leach, Melissa W. Dunn, Ravindra Nath Pandya, Charles W. Kaufman | 2011-08-23 |
| 7900248 | Access control negation using negative groups | Carl M. Ellison, Paul J. Lach, Melissa W. Dunn, Ravindra Nath Pandya, Charles W. Kaufman | 2011-03-01 |
| 7809938 | Virtual distributed security system | Giovanni M. Della-Libera, Christopher G. Kaler, Scott A. Konersmann, Paul J. Leach, Bradford H. Lovering +4 more | 2010-10-05 |
| 7752442 | Virtual distributed security system | Giovanni M. Della-Libera, Christopher G. Kaler, Scott A. Konersmann, Paul J. Leach, Bradford H. Lovering +4 more | 2010-07-06 |
| 7752431 | Virtual distributed security system | Giovanni M. Della-Libera, Christopher G. Kaler, Scott A. Konersmann, Paul J. Leach, Bradford H. Lovering +4 more | 2010-07-06 |
| 7543336 | System and method for secure storage of data using public and private keys | John D. DeTreville, Paul England | 2009-06-02 |
| 7529919 | Boot blocks for software | John D. DeTreville, Paul England | 2009-05-05 |
| 7496769 | Hierarchical trusted code for content protection in computers | Paul England | 2009-02-24 |
| 7457412 | System and method for authenticating an operating system to a central processing unit, providing the CPU/OS with secure storage, and authenticating the CPU/OS to a third party | Paul England, John D. DeTreville | 2008-11-25 |
| 7434263 | System and method for secure storage data using a key | John D. DeTreville, Paul England | 2008-10-07 |
| 7424606 | System and method for authenticating an operating system | John D. DeTreville, Paul England | 2008-09-09 |
| 7418137 | System and method for accepting disparate types of user input | Charlton E. Lui, Charles P. Thacker, James E. Mathews, Leroy B. Keely, David A. Switzer +1 more | 2008-08-26 |
| 7415620 | System and method for authenticating an operating system to a central processing unit, providing the CPU/OS with secure storage, and authenticating the CPU/OS to a third party | Paul England, John D. DeTreville | 2008-08-19 |
| 7356682 | Attesting to a value of a register and/or memory region | John D. DeTreville, Paul England | 2008-04-08 |
| 7319454 | Two-button mouse input using a stylus | Charles P. Thacker, James E. Mathews, Luis Huapaya | 2008-01-15 |
| 7302709 | Key-based secure storage | Paul England, John D. DeTreville | 2007-11-27 |
| 7248248 | Pointing system for pen-based computer | — | 2007-07-24 |
| 7194092 | Key-based secure storage | Paul England, John D. DeTreville | 2007-03-20 |
| 7174457 | System and method for authenticating an operating system to a central processing unit, providing the CPU/OS with secure storage, and authenticating the CPU/OS to a third party | Paul England, John D. DeTreville | 2007-02-06 |
| 7020772 | Secure execution of program code | Paul England | 2006-03-28 |