Issued Patents All Time
Showing 1–19 of 19 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10242192 | Method, system, and program product for remotely attesting to a state of a computer system | Stefan Berger, Kenneth A. Goldman, Ronald Perez, Reiner Sailer, Enriquillo Valdez | 2019-03-26 |
| 9836607 | Method, system, and program product for remotely attesting to a state of a computer system | Stefan Berger, Kenneth A. Goldman, Ronald Perez, Reiner Sailer, Enriquillo Valdez | 2017-12-05 |
| 9536092 | Method, system, and program product for remotely attesting to a state of a computer system | Stefan Berger, Kenneth A. Goldman, Ronald Perez, Reiner Sailer, Enriquillo Valdez | 2017-01-03 |
| 8640107 | Methods and arrangements for unified program analysis | Lawrence Koved, Liangzhao Zeng, Xiaolan Zhang | 2014-01-28 |
| 8434147 | Method, system and program product for remotely verifying integrity of a system | Reiner Sailer, Leendert Peter Van Doorn | 2013-04-30 |
| 8370813 | Methods and arrangements for unified program analysis | Lawrence Koved, Liangzhao Zeng, Xiaolan Zhang | 2013-02-05 |
| 8099781 | Method of managing and mitigating security risks through planning | Kay S. Anderson, Pau-Chen Cheng, Mark D. Feblowitz, Genady Grabarnik, Shai Halevi +9 more | 2012-01-17 |
| 8087090 | Fuzzy multi-level security | Pau-Chen Cheng, Shai Halevi, Paul A. Karger, Ronald Perez, Pankaj Rohatgi +3 more | 2011-12-27 |
| 7856653 | Method and apparatus to protect policy state information during the life-time of virtual machines | Stefan Berger, Ronald Perez, Reiner Sailer, Enriquillo Valdez | 2010-12-21 |
| 7832007 | Method of managing and mitigating security risks through planning | Kay S. Anderson, Pau-Chen Cheng, Mark D. Feblowitz, Genady Grabarnik, Shai Halevi +9 more | 2010-11-09 |
| 7530110 | System and method for fuzzy multi-level security | Pau-Chen Cheng, Shai Halevi, Paul A. Karger, Ronald Perez, Pankaj Rohatgi +3 more | 2009-05-05 |
| 7493602 | Methods and arrangements for unified program analysis | Lawrence Koved, Liangzhao Zeng, Xiaolan Zhang | 2009-02-17 |
| 6862734 | Mechanism for synchronous interprocess communication over transparent external monitors | Jonathon Earnshaw Tidswell | 2005-03-01 |
| 6748452 | Flexible interprocess communication via redirection | Kevin John Elphinstone | 2004-06-08 |
| 6490625 | Powerful and flexible server architecture | Nayeem Islam, Jochen Liedtke, Vsevolod Panteleenko | 2002-12-03 |
| 6202132 | Flexible cache-coherency mechanism | Nayeem Islam, Jochen Liedtke, Vsevolod Panteleenko | 2001-03-13 |
| 6044466 | Flexible and dynamic derivation of permissions | Rangachari Anand, Frederique A. Giraud, Nayeem Islam, Jochen Liedtke | 2000-03-28 |
| 6032228 | Flexible cache-coherency mechanism | Nayeem Islam, Jochen Liedtke, Vsevolod Panteleenko | 2000-02-29 |
| 5297054 | Expert system for automically generating gear designs | Kent H. Kienzle, Mark John Jeffery, Karon A. Barber | 1994-03-22 |