2846 search results - page 117 / 570 » Not one click for security |
166
click to vote
CHES
2006
Springer
15 years 8 months ago
2006
Springer
Cryptographic algorithms implemented in embedded devices must withstand Side Channel Attacks such as the Differential Power Analysis (DPA). A common method of protecting symmetric ...
129
click to vote
CSREASAM
2004
15 years 6 months ago
2004
We model a private key's life cycle as a finite state machine. The states are the key's phases of life and the transition functions describe tasks to be done with the key...
139
click to vote
DIMVA
2006
15 years 5 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
134
click to vote
IFIP11
2004
15 years 5 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
127
click to vote
CRYPTO
2012
Springer
13 years 7 months ago
2012
Springer
We present a compiler that converts any circuit into one that remains secure even if a constant fraction of its wires are tampered with. Following the seminal work of Ishai et al. ...