%0 Conference Paper %1 conf/csfw/Blanchet18 %A Blanchet, Bruno %B CSF %D 2018 %I IEEE Computer Society %K dblp %P 16-30 %T Composition Theorems for CryptoVerif and Application to TLS 1.3. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2018.html#Blanchet18 %@ 978-1-5386-6680-7

@inproceedings{conf/csfw/Blanchet18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Blanchet, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/2186ca221ea980a02385e3957b64f8934/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2018}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSF.2018.00009}, interhash = {0abea54842ca1461c91b85e6c9d3a1a8}, intrahash = {186ca221ea980a02385e3957b64f8934}, isbn = {978-1-5386-6680-7}, keywords = {dblp}, pages = {16-30}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:12.000+0200}, title = {Composition Theorems for CryptoVerif and Application to TLS 1.3.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2018.html#Blanchet18}, year = 2018 }