BibSonomy :: author  ::

bookmarks

publications

(2)

• The Trusted Execution Module: Commodity General-Purpose Trusted Computing.
  Victor Costan and Luis F. G. Sarmenta and Marten van Dijk and Srinivas Devadas CARDIS 133-148 (2008)
  to dblp by dblp on 2008-09-05 00:00:00
  | URL | BibTeX  
• A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.
  Alexandru Costan and Stephane Gaubert and Eric Goubault and Matthieu Martel and Sylvie Putot CAV 462-475 (2005)
  to dblp by dblp on 2005-07-28 00:00:00
  | URL | BibTeX