Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

CACM
2006

favoriteEmaildiscussreport

64views more CACM 2006»

Externally verifiable code execution

13 years 11 months ago

Externally verifiable code execution

Download sparrow.ece.cmu.edu

Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert

Real-time Traffic

CACM 2006 |

claim paper

Related Content

» Pioneer verifying code integrity and enforcing untampered code execution on legacy systems

» Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution

» Executing Verified Compiler Specification

» Runtime Execution Monitoring REM to Detect and Prevent Malicious Code Execution

» Pervasive Compiler Verification From Verified Programs to Verified Systems

» Trust but verify monitoring remotely executing programs for progress and correctness

» Verifying a Compiler for Java Threads

» Automatic Verification of External Interrupt Behaviors for Microprocessor Design

» Understanding Precision in Host Based Intrusion Detection

Post Info
More Details (n/a)

Added	11 Dec 2010
Updated	11 Dec 2010
Type	Journal
Year	2006
Where	CACM
Authors	Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla

Comments (0)