Publications

Fully Automated Analysis of Padding-Based Encryption in the Computational Model

AuthID
P-00Y-5MN

Author(s)

Barthe, G

Crespo, JM

Grégoire, B

Kunz, C

Lakhnech, Y

Schmidt, B

Béguelin, SZ

Editor(s)

Sadeghi,AR;Gligor,VD;Yung,M

Document Type

Proceedings Paper

Year published

2013

Published

in 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013 in ACM Conference on Computer and Communications Security

Pages: 1247-1260

Indexing

Dblp^®/en/publications/view/988821

Metadata
Sources

Publication Identifiers

Dblp: conf/ccs/BartheCGKLSB13

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Fully Automated Analysis of Padding-Based Encryption in the Computational Model

Useful Links

Get Help

Federated Authentication (Click on the image)

Fully Automated Analysis of Padding-Based Encryption in the Computational Model

Useful Links

Get Help