541 search results - page 74 / 109 » A generic attack to ciphers |
135
Voted
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
120
click to vote
TC
2008
15 years 1 months ago
2008
Cryptanalysis of ciphers usually involves massive computations. The security parameters of cryptographic algorithms are commonly chosen so that attacks are infeasible with availabl...
ACNS
2007
Springer
15 years 8 months ago
2007
Springer
The one-way function tree (OFT) scheme proposed by Balenson et. al is widely regarded as an efficient key management solution for multicast communication in large dynamic groups. ...
120
click to vote
SNPD
2008
15 years 3 months ago
2008
The selective application of technological and related procedural safeguards is an important responsibility of every organization in providing adequate security to its electronic ...
143
Voted
JAR
2000
15 years 1 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...