Formal Modeling and Verification for Domain Validation and ACME (bibtex)
by Antoine Delignat-Lavaud Karthikeyan Bhargavan, Nadim Kobeissi
Reference:
Formal Modeling and Verification for Domain Validation and ACME (Antoine Delignat-Lavaud Karthikeyan Bhargavan, Nadim Kobeissi), In Financial Cryptography and Data Security (FC), 2017. (to appear)
Bibtex Entry:
@inproceedings{acme,
  author    = {Karthikeyan Bhargavan, 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},
  note = "to appear"
}