Formal verification of the W3C Web Authentication Protocol (bibtex)
by Guirat, Iness Ben and Halpin, Harry
Reference:
Formal verification of the W3C Web Authentication Protocol (Guirat, Iness Ben and Halpin, Harry), 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