Formal Modeling and Verification for Domain Validation and ACME (bibtex)
by Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi
Reference:
Formal Modeling and Verification for Domain Validation and ACME (Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi), In Financial Cryptography and Data Security (FC), 2017.
Bibtex Entry:
@inproceedings{acme,
  author    = {Karthikeyan Bhargavan and Antoine Delignat-Lavaud and Nadim Kobeissi},
  title     = {Formal Modeling and Verification for Domain Validation and ACME},
  booktitle = {Financial Cryptography and Data Security (FC)},
  year      = {2017},
}
Powered by bibtexbrowser