%0 Journal Article %1 journals/siglog/BasinCDS17 %A Basin, David A. %A Cremers, Cas %A Dreier, Jannik %A Sasse, Ralf %D 2017 %J ACM SIGLOG News %K dblp %N 4 %P 19-30 %T Symbolically analyzing security protocols using tamarin. %U http://dblp.uni-trier.de/db/journals/siglog/siglog4.html#BasinCDS17 %V 4

@article{journals/siglog/BasinCDS17, added-at = {2022-06-10T00:00:00.000+0200}, author = {Basin, David A. and Cremers, Cas and Dreier, Jannik and Sasse, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/2e871265b61b3bac1fced08879c2ce71d/dblp}, ee = {https://doi.org/10.1145/3157831.3157835}, interhash = {2ad1b7269beb7b26448113f45dc9cc18}, intrahash = {e871265b61b3bac1fced08879c2ce71d}, journal = {ACM SIGLOG News}, keywords = {dblp}, number = 4, pages = {19-30}, timestamp = {2024-04-08T09:55:07.000+0200}, title = {Symbolically analyzing security protocols using tamarin.}, url = {http://dblp.uni-trier.de/db/journals/siglog/siglog4.html#BasinCDS17}, volume = 4, year = 2017 }