%0 Conference Paper %1 journals/entcs/JanvierLM07 %A Janvier, Romain %A Lakhnech, Yassine %A Mazaré, Laurent %B ICS@SYNASC %D 2006 %E Dima, Catalin %E Minea, Marius %E Tiplea, Ferucio Laurentiu %I Elsevier %K dblp %P 121-139 %T Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions. %U http://dblp.uni-trier.de/db/journals/entcs/entcs186.html#JanvierLM07 %V 186

@inproceedings{journals/entcs/JanvierLM07, added-at = {2023-01-31T00:00:00.000+0100}, author = {Janvier, Romain and Lakhnech, Yassine and Mazaré, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/29e5eda8ec7b60c680fa44346b87c2c7c/dblp}, booktitle = {ICS@SYNASC}, crossref = {conf/ics2/2006}, editor = {Dima, Catalin and Minea, Marius and Tiplea, Ferucio Laurentiu}, ee = {https://doi.org/10.1016/j.entcs.2007.01.066}, interhash = {c649978df0cfaf016d5e598d9d4e8b37}, intrahash = {9e5eda8ec7b60c680fa44346b87c2c7c}, keywords = {dblp}, pages = {121-139}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T19:49:45.000+0200}, title = {Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs186.html#JanvierLM07}, volume = 186, year = 2006 }