%0 Journal Article %1 journals/ftsec/Blanchet16 %A Blanchet, Bruno %D 2016 %J Found. Trends Priv. Secur. %K dblp %N 1-2 %P 1-135 %T Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif. %U http://dblp.uni-trier.de/db/journals/ftsec/ftsec1.html#Blanchet16 %V 1

@article{journals/ftsec/Blanchet16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Blanchet, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/29481d8befc61380beeb0b7667702e53a/dblp}, ee = {https://doi.org/10.1561/3300000004}, interhash = {d911cb523d865a20264ca5a98b3bc4ef}, intrahash = {9481d8befc61380beeb0b7667702e53a}, journal = {Found. Trends Priv. Secur.}, keywords = {dblp}, number = {1-2}, pages = {1-135}, timestamp = {2024-04-09T04:39:00.000+0200}, title = {Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif.}, url = {http://dblp.uni-trier.de/db/journals/ftsec/ftsec1.html#Blanchet16}, volume = 1, year = 2016 }