%0 Conference Paper %1 conf/ccs/BartheGS15 %A Barthe, Gilles %A Grégoire, Benjamin %A Schmidt, Benedikt %B ACM Conference on Computer and Communications Security %D 2015 %E Ray, Indrajit %E Li, Ninghui %E Kruegel, Christopher %I ACM %K dblp %P 1156-1168 %T Automated Proofs of Pairing-Based Cryptography. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2015.html#BartheGS15 %@ 978-1-4503-3832-5

@inproceedings{conf/ccs/BartheGS15, added-at = {2019-10-19T00:00:00.000+0200}, author = {Barthe, Gilles and Grégoire, Benjamin and Schmidt, Benedikt}, biburl = {https://www.bibsonomy.org/bibtex/2cd0659fe73b23f7ab3f1dedcb9309c74/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2015}, editor = {Ray, Indrajit and Li, Ninghui and Kruegel, Christopher}, ee = {https://doi.org/10.1145/2810103.2813697}, interhash = {76ab22e20fc76d10e94d4fe8c8540716}, intrahash = {cd0659fe73b23f7ab3f1dedcb9309c74}, isbn = {978-1-4503-3832-5}, keywords = {dblp}, pages = {1156-1168}, publisher = {ACM}, timestamp = {2020-11-11T11:38:52.000+0100}, title = {Automated Proofs of Pairing-Based Cryptography.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2015.html#BartheGS15}, year = 2015 }