Cryptology ePrint Archive: Report 2012/695

Available versions in chronological order


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.

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.

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 ]