@TECHREPORT{Genet-Span15,
  TITLE = {{A Short SPAN+AVISPA Tutorial}},
  AUTHOR = {Genet, Thomas},
  URL = {https://hal.inria.fr/hal-01213074},
  TYPE = {Research Report},
  INSTITUTION = {{IRISA}},
  YEAR = {2015},
  MONTH = Oct,
  KEYWORDS = {cryptographic protocols ; verification},
  PDF = {https://hal.inria.fr/hal-01213074/file/main.pdf},
  note = {\url{https://hal.inria.fr/hal-01213074/file/main.pdf}}
}