Cryptology ePrint Archive: Report 2012/695
Available versions in chronological order
20121214:185243 (posted 14-Dec-2012 18:52:43 UTC)
Automated Analysis and Synthesis of Padding-Based Encryption Schemes
Gilles Barthe and Juan Manuel Crespo and Benjamin Grégoire and César Kunz and Yassine Lakhnech and Santiago Zanella-Béguelin
Publication Info: An abridged version of this paper is under submission. This is the full version.
20130703:160208 (posted 03-Jul-2013 16:02:08 UTC)
Fully Automated Analysis of Padding-Based Encryption in the Computational Model
Gilles Barthe and Juan Manuel Crespo and Benjamin Grégoire and César Kunz and Yassine Lakhnech and Benedikt Schmidt and Santiago Zanella-Béguelin
Publication Info: An abridged version of this paper is under submission. This is the full version.
20130703:160407 (posted 03-Jul-2013 16:04:07 UTC)
Fully Automated Analysis of Padding-Based Encryption in the Computational Model
Gilles Barthe and Juan Manuel Crespo and Benjamin Grégoire and César Kunz and Yassine Lakhnech and Benedikt Schmidt and Santiago Zanella-Béguelin
Publication Info: An abridged version of this paper is under submission. This is the full version.
[
Cryptology ePrint archive
]