| 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 |
