481 search results - page 37 / 97 » Differential symbolic execution |
88
Voted
CHES
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Since the announcement of the Differential Power Analysis (DPA) by Paul Kocher and al., several countermeasures were proposed in order to protect software implementations...
110
Voted
POPL
2009
ACM
15 years 7 months ago
2009
ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...
109
click to vote
ISORC
2002
IEEE
15 years 5 months ago
2002
IEEE
The demand for real-time database services has been increasing recently. Examples include sensor data fusion, stock trading, decision support, web information services, and data-i...
CTRSA
2010
Springer
15 years 3 months ago
2010
Springer
This paper proposes a new type of cache-collision timing attacks on software implementations of AES. Our major technique is of differential nature and is based on the internal cryp...
102
click to vote
ISBI
2006
IEEE
16 years 1 months ago
2006
IEEE
In this work we propose a novel rigid image registration approach to determine the position of high-resolution molecular structures in medium-resolution macromolecular complexes. ...