318 search results - page 9 / 64 » How to Leak a Secret |
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
ADAEUROPE
2003
Springer
14 years 26 days ago
2003
Springer
This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be extended to enpower devel...
CHES
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we show how the usage of Residue Number Systems (RNS) can easily be turned into a natural defense against many side-channel attacks (SCA). We introduce a Leak Resista...
CCGRID
2005
IEEE
14 years 1 months ago
2005
IEEE
Once a new gene has been sequenced, it must be verified whether or not it is similar to previously sequenced genes. In many cases, the organization that sequenced a potentially n...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of...