405 search results - page 24 / 81 » Practice-Oriented Provable Security |
EUROCRYPT
2006
Springer
13 years 11 months ago
2006
Springer
The standard security definition of unconditional secure function evaluation, which is based on the ideal/real model paradigm, has the disadvantage of being overly complicated to w...
ESORICS
2012
Springer
11 years 10 months ago
2012
Springer
Motivated by the need to outsource file storage to untrusted clouds while still permitting limited use of that data by third parties, we present practical protocols by which a cli...
DAGSTUHL
2007
13 years 9 months ago
2007
We give an outline of the specification and provable security features of the QUAD stream cipher proposed at Eurocrypt 2006 [6]. The cipher relies on the iteration of a multivaria...
INDOCRYPT
2004
Springer
14 years 28 days ago
2004
Springer
A definition of secure multi-party key exchange in the Canetti-Krawczyk proof model is proposed, followed by a proof of the security of the Joux tripartite key agreement protocol...
ISW
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...