A Roadmap for High Assurance Cryptography (bibtex)
by Harry Halpin
Reference:
A Roadmap for High Assurance Cryptography (Harry Halpin), In Foundations and Practice of Security, 2017.
Bibtex Entry:
@inproceedings{halpin:hal-01673294,
  TITLE = {{A Roadmap for High Assurance Cryptography}},
  AUTHOR = {Halpin, Harry},
  URL = {https://hal.inria.fr/hal-01673294},
  BOOKTITLE = {{Foundations and Practice of Security}},
  ADDRESS = {Nancy, France},
  YEAR = {2017},
  MONTH = Oct,
  KEYWORDS = {high assurance cryptography ; formal verification ; primitives ; security API},
  PDF = {https://hal.inria.fr/hal-01673294/file/paper.pdf},
  HAL_ID = {hal-01673294},
  HAL_VERSION = {v1},
}
Powered by bibtexbrowser