947 search results - page 11 / 190 » Provable Implementations of Security Protocols |
137
click to vote
ACISP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The emergence of computing environments where smart devices are embedded pervasively in the physical world has made possible many interesting applications and has trigger...
131
Voted
INDOCRYPT
2004
Springer
15 years 8 months ago
2004
Springer
A definition of secure multi-party key exchange in the Canetti-Krawczyk proof model is proposed, followed by a proof of the security of the Joux tripartite key agreement protocol...
129
click to vote
CHES
2010
Springer
15 years 4 months ago
2010
Springer
Implementations of cryptographic algorithms are vulnerable to Side Channel Analysis (SCA). To counteract it, masking schemes are usually involved which randomize key-dependent data...
136
click to vote
SACRYPT
2004
Springer
15 years 8 months ago
2004
Springer
A general method to secure cryptographic algorithm implementations against side-channel attacks is the use of randomization techniques and, in particular, masking. Roughly speaking...
181
click to vote
HOST
2011
IEEE
14 years 3 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...