%0 Conference Paper %1 conf/esorics/CortierDD20 %A Cortier, Véronique %A Delaune, Stéphanie %A Dreier, Jannik %B ESORICS (2) %D 2020 %E Chen, Liqun %E Li, Ninghui %E Liang, Kaitai %E Schneider, Steve A. %I Springer %K dblp %P 3-22 %T Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols. %U http://dblp.uni-trier.de/db/conf/esorics/esorics2020-2.html#CortierDD20 %V 12309 %@ 978-3-030-59013-0

@inproceedings{conf/esorics/CortierDD20, added-at = {2020-09-14T00:00:00.000+0200}, author = {Cortier, Véronique and Delaune, Stéphanie and Dreier, Jannik}, biburl = {https://www.bibsonomy.org/bibtex/228421b7d6e572a29e39874f254f1455f/dblp}, booktitle = {ESORICS (2)}, crossref = {conf/esorics/2020-2}, editor = {Chen, Liqun and Li, Ninghui and Liang, Kaitai and Schneider, Steve A.}, ee = {https://doi.org/10.1007/978-3-030-59013-0_1}, interhash = {5e8189cef83bc256e676de1a77a3ced2}, intrahash = {28421b7d6e572a29e39874f254f1455f}, isbn = {978-3-030-59013-0}, keywords = {dblp}, pages = {3-22}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:52:59.000+0200}, title = {Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols.}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics2020-2.html#CortierDD20}, volume = 12309, year = 2020 }