2010
DOI: 10.1007/978-3-642-11512-7_19
View full text
|
Sign up to set email alerts
|
Share
Joudicaël Courant,
Marion Daubignard,
Cristian Ene
et al.

Abstract: Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower level of security have been proposed. Providing security proofs has also become standard practice. There is, however, a lack of automated verification procedures that analyze such cryptosystems and provide security proofs. This paper presents an automated procedure for analyzing generic asymmetric encryption schemes in the random or…

Expand abstract

Search citation statements

Order By: Relevance

Citation Types

0
2
0

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals