@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@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},
}