14824 search results - page 393 / 2965 » Security - Introduction |
187
click to vote
EUROCRYPT
2006
Springer
15 years 11 months ago
2006
Springer
We introduce a practical synchronous stream cipher with provable security named QUAD. The cipher relies on the iteration of a multivariate quadratic system of m equations in n <...
215
click to vote
FOSAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...
200
click to vote
CARDIS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper we describe the first implementation on smartcard of the code-based authentication protocol proposed by Stern at Crypto'93 and we give a securization o...
205
click to vote
CTRSA
2008
Springer
15 years 9 months ago
2008
Springer
We propose two constructions of chosen-ciphertext secure identity-based encryption (IBE) schemes. Our schemes have a security proof in the standard model, yet they offer performan...
214
click to vote
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...