Formal verification of the W3C Web Authentication Protocol (bibtex)
by Iness Ben Guirat, Harry Halpin
Reference:
Formal verification of the W3C Web Authentication Protocol (Iness Ben Guirat, Harry Halpin), In Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security - HoTSoS '18, 2018.
Bibtex Entry:
@article{guirat:hal-01966563,
  TITLE = {{Formal verification of the W3C Web Authentication Protocol}},
  AUTHOR = {Guirat, Iness Ben and Halpin, Harry},
  URL = {https://hal.inria.fr/hal-01966563},
  JOURNAL = {{Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security - HoTSoS '18}},
  PAGES = {1-10},
  YEAR = {2018},
  DOI = {10.1145/3190619.3190640},
  PDF = {https://hal.inria.fr/hal-01966563/file/main.pdf},
  HAL_ID = {hal-01966563},
  HAL_VERSION = {v1},
}
Powered by bibtexbrowser