@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@incollection{cortier:hal-03475731,
TITLE = {{How to explain security protocols to your children}},
AUTHOR = {Cortier, V{\'e}ronique and Rakotonirina, Itsaka},
URL = {https://hal.inria.fr/hal-03475731},
BOOKTITLE = {{Protocols, Strands, and Logic -Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday}},
PUBLISHER = {{Springer}},
SERIES = {LNCS},
VOLUME = {13066},
PAGES = {12},
YEAR = {2021},
}