2303 search results - page 57 / 461 » The Cryptographic Abstract Machine |
127
click to vote
FPL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Field-Programmable Gate Arrays (FPGAs) have lately become a popular target for implementing cryptographic block ciphers, as a well-designed FPGA solution can combine some...
147
click to vote
EUC
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Signcryption is a cryptographic primitive that aims at providing confidentiality and authentication simultaneously. Recently in May 2008, a scheme for identity based thre...
159
Voted
ASIAN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
114
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
101
click to vote
IEICET
2006
15 years 2 months ago
2006
Abstract. This paper discusses the state-of-the-art software optimization methodology for symmetric cryptographic primitives on Pentium III and 4 processors. We aim at maximizing s...