Oblivious Hashing: A Stealthy Software Integrity Verification Primitive

Oblivious Hashing: A Stealthy Software Integrity Verification Primitive

We describe a novel software verification primitive called Oblivious Hashing. Unlike previous techniques that mainly verify the static shape of code, this primitive allows implicit computation of a hash value based on the actual execution (i.e., space-time history of computation) of the code. We als...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Chen, Yuqun, Venkatesan, Ramarathnam, Cary, Matthew, Pang, Ruoming, Sinha, Saurabh, Jakubowski, Mariusz H.
Format: Buchkapitel
Sprache:eng
Schlagworte:
Actual Execution
Applied sciences
Code Segment
Computer science
control theory
systems
Exact sciences and technology
Message Authentication Code
Software
Software engineering
Static Shape
Syntax Tree
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We describe a novel software verification primitive called Oblivious Hashing. Unlike previous techniques that mainly verify the static shape of code, this primitive allows implicit computation of a hash value based on the actual execution (i.e., space-time history of computation) of the code. We also discuss its applications in local software tamper resistance and remote code authentication.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-36415-3_26