%0 Conference Paper %1 conf/csfw/BaeldeDKM22 %A Baelde, David %A Delaune, Stéphanie %A Koutsos, Adrien %A Moreau, Solène %B CSF %D 2022 %I IEEE %K dblp %P 289-304 %T Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2022.html#BaeldeDKM22 %@ 978-1-6654-8417-6

@inproceedings{conf/csfw/BaeldeDKM22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Baelde, David and Delaune, Stéphanie and Koutsos, Adrien and Moreau, Solène}, biburl = {https://www.bibsonomy.org/bibtex/2894ed90ab77e4c9fab64a5ece9a58adf/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2022}, ee = {https://doi.org/10.1109/CSF54842.2022.9919665}, interhash = {c4470e4bc0706b3f7b765fc8792d0fc7}, intrahash = {894ed90ab77e4c9fab64a5ece9a58adf}, isbn = {978-1-6654-8417-6}, keywords = {dblp}, pages = {289-304}, publisher = {IEEE}, timestamp = {2024-04-09T13:16:03.000+0200}, title = {Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2022.html#BaeldeDKM22}, year = 2022 }