4340 search results - page 307 / 868 » Formal Methods and Cryptography |
174
click to vote
FSE
2004
Springer
16 years 1 days ago
2004
Springer
A cryptanalysis is given of a MAC proposal presented at CRYPTO 2003 by Cary and Venkatesan. A nice feature of the CaryVenkatesan MAC is that a lower bound on its security can be pr...
151
click to vote
ESOP
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
191
click to vote
EUROCRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
171
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
An e cient implementations of the main building block in the RSA cryptographic scheme is achieved by mapping a bit-level systolic array for modular exponentiation onto Xilinx FPGAs...
167
click to vote
ANTS
2006
Springer
15 years 10 months ago
2006
Springer
This paper suggests a new building block for cryptographic protocols and gives two instantiations of it. The concept is to generate two descriptions of the same group: a public des...