1769 search results - page 113 / 354 » Cryptography |
119
Voted
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
117
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
107
click to vote
SIGUCCS
1999
ACM
15 years 7 months ago
1999
ACM
This paper attempts to illuminate several fundamental concepts used in the creation of a Public Key Infrastructure (PKI). These concepts include encryption, public key cryptograph...
106
click to vote
PQCRYPTO
2010
15 years 7 months ago
2010
We give exact formulas for the growth of the ideal Aλ for λ a quadratic element of the algebra of Boolean functions over the Galois field GF(2). That is, we calculate dim Akλ w...
121
Voted
EUROCRYPT
2007
Springer
15 years 7 months ago
2007
Springer
Motivated by the quest for reducing assumptions in security proofs in cryptography, this paper is concerned with designing efficient symmetric encryption and authentication schemes...