Sciweavers

23 search results - page 1 / 5
» csfw 2010
Sort
View
CSFW
2010
IEEE
13 years 8 months ago
Quantification of Integrity
Michael R. Clarkson, Fred B. Schneider
CSFW
2010
IEEE
13 years 8 months ago
On Protection by Layout Randomization
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...
Martín Abadi, Gordon D. Plotkin
CSFW
2010
IEEE
13 years 8 months ago
Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks
—We establish formal bounds for the number of min-entropy bits that can be extracted in a timing attack against a cryptosystem that is protected by blinding, the state-of-the art...
Boris Köpf, Geoffrey Smith
CSFW
2010
IEEE
13 years 8 months ago
Information Flow Monitor Inlining
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
Andrey Chudnov, David A. Naumann