4340 search results - page 37 / 868 » Formal Methods and Cryptography |
117
click to vote
ASIACRYPT
2011
Springer
13 years 11 months ago
2011
Springer
We present a generic method to secure various widely-used cryptosystems against arbitrary side-channel leakage, as long as the leakage adheres three restrictions: first, it is bou...
FM
2006
Springer
15 years 3 months ago
2006
Springer
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
ISSAC
2007
Springer
15 years 5 months ago
2007
Springer
The parallelization of two applications in symmetric cryptography is considered: block ciphering and a new method based on random sampling for the selection of basic substitution ...