@inproceedings{barthe:hal-02404701, TITLE = {{Symbolic Methods in Computational Cryptography Proofs}}, AUTHOR = {Barthe, Gilles and Gr{\'e}goire, Benjamin and Jacomme, Charlie and Kremer, Steve and Strub, Pierre-Yves}, URL = {https://hal.science/hal-02404701}, BOOKTITLE = {{CSF2019 - 32nd IEEE Computer Security Foundations Symposium}}, ADDRESS = {Hoboken, United States}, PUBLISHER = {{IEEE}}, PAGES = {136-13615}, YEAR = {2019}, MONTH = Jun, DOI = {10.1109/CSF.2019.00017}, PDF = {https://hal.science/hal-02404701/file/paper.pdf}, HAL_ID = {hal-02404701}, HAL_VERSION = {v1}, }