%0 Conference Paper %1 conf/ccs/BartheCGKLSB13 %A Barthe, Gilles %A Crespo, Juan Manuel %A Grégoire, Benjamin %A Kunz, César %A Lakhnech, Yassine %A Schmidt, Benedikt %A Béguelin, Santiago Zanella %B ACM Conference on Computer and Communications Security %D 2013 %E Sadeghi, Ahmad-Reza %E Gligor, Virgil D. %E Yung, Moti %I ACM %K dblp %P 1247-1260 %T Fully automated analysis of padding-based encryption in the computational model. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2013.html#BartheCGKLSB13 %@ 978-1-4503-2477-9

@inproceedings{conf/ccs/BartheCGKLSB13, added-at = {2020-10-25T00:00:00.000+0200}, author = {Barthe, Gilles and Crespo, Juan Manuel and Grégoire, Benjamin and Kunz, César and Lakhnech, Yassine and Schmidt, Benedikt and Béguelin, Santiago Zanella}, biburl = {https://www.bibsonomy.org/bibtex/2c33fb85dd554a7b75379a26fcb31751e/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2013}, editor = {Sadeghi, Ahmad-Reza and Gligor, Virgil D. and Yung, Moti}, ee = {https://doi.org/10.1145/2508859.2516663}, interhash = {495d086fb70c007e6da66574a913225e}, intrahash = {c33fb85dd554a7b75379a26fcb31751e}, isbn = {978-1-4503-2477-9}, keywords = {dblp}, pages = {1247-1260}, publisher = {ACM}, timestamp = {2020-11-11T11:38:20.000+0100}, title = {Fully automated analysis of padding-based encryption in the computational model.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2013.html#BartheCGKLSB13}, year = 2013 }