127 search results - page 10 / 26 » Quantifying information leaks in software |
ENTCS
2007
13 years 8 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...
NDSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Anonymization plays a key role in enabling the public release of network datasets, and yet there are few, if any, techniques for evaluating the efficacy of network data anonymiza...
SCAM
2008
IEEE
14 years 3 months ago
2008
IEEE
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...
TCC
2007
Springer
14 years 2 months ago
2007
Springer
An obfuscator is a compiler that transforms any program (which we will view in this work as a boolean circuit) into an obfuscated program (also a circuit) that has the same input-...
DRM
2006
Springer
14 years 8 days ago
2006
Springer
One of the most fundamental problems in computer security is protecting sensitive digital information from unauthorized disclosure. There are a number of challenges, such as spywa...