215 search results - page 1 / 43 » Toward Verified Execution Environments |
SP
1987
IEEE
13 years 9 months ago
1987
IEEE
SOSP
2005
ACM
14 years 2 months ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
ECEASST
2011
13 years 24 days ago
2011
ENTCS
2008
13 years 5 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
TPHOL
2009
IEEE
14 years 13 days ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...