%0 Conference Paper %1 conf/esorics/ChretienCD15 %A Chrétien, Rémy %A Cortier, Véronique %A Delaune, Stéphanie %B ESORICS (2) %D 2015 %E Pernul, Günther %E Ryan, Peter Y. A. %E Weippl, Edgar R. %I Springer %K %P 230-251 %T Checking Trace Equivalence: How to Get Rid of Nonces? %U http://dblp.uni-trier.de/db/conf/esorics/esorics2015-2.html#ChretienCD15 %V 9327 %@ 978-3-319-24176-0

@inproceedings{conf/esorics/ChretienCD15, added-at = {2023-12-14T15:10:05.000+0100}, author = {Chrétien, Rémy and Cortier, Véronique and Delaune, Stéphanie}, biburl = {https://www.bibsonomy.org/bibtex/28a796c6bef68159773c097ada7f0ad7f/admin}, booktitle = {ESORICS (2)}, crossref = {conf/esorics/2015-2}, editor = {Pernul, Günther and Ryan, Peter Y. A. and Weippl, Edgar R.}, ee = {https://doi.org/10.1007/978-3-319-24177-7_12}, interhash = {e7fc170446686c5816acc8d7d99d7e88}, intrahash = {8a796c6bef68159773c097ada7f0ad7f}, isbn = {978-3-319-24176-0}, keywords = {}, pages = {230-251}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:10:05.000+0100}, title = {Checking Trace Equivalence: How to Get Rid of Nonces?}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics2015-2.html#ChretienCD15}, volume = 9327, year = 2015 }