20175 search results - page 69 / 4035 » Is abstraction the key to computing |
121
Voted
PQCRYPTO
2010
15 years 4 months ago
2010
Abstract. In this paper a new structural attack on the McEliece/Niederreiter public key cryptosystem based on subcodes of generalized ReedSolomon codes proposed by Berger and Loidr...
105
click to vote
FMOODS
2007
15 years 2 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
101
Voted
CADE
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
PKC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce a new approach for cryptanalysis of key agreement protocols based on noncommutative groups. Our approach uses functions that estimate the distance of a group...
109
Voted
CRYPTO
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We describe a series of new attacks on a CBC-MAC algorithm due to Knudsen and Preneel including two key recovery attacks and a forgery attack. Unlike previous attacks, th...