Composition Theorems for CryptoVerif and Application to TLS 1.3 (bibtex)
by Bruno Blanchet
Reference:
Composition Theorems for CryptoVerif and Application to TLS 1.3 (Bruno Blanchet), In 31st IEEE Computer Security Foundations Symposium (CSF'18), IEEE Computer Society, 2018.
Bibtex Entry:
@InProceedings{BlanchetCSF18,
  author = 	 {Bruno Blanchet},
  title = 	 {Composition Theorems for {C}rypto{V}erif and Application to {TLS} 1.3},
  booktitle = {31st IEEE Computer Security Foundations Symposium (CSF'18)},
  year = 	 {2018},
  pages = 	 {16--30},
  month = 	 jul,
  address = 	 {Oxford, UK},
  publisher = {IEEE Computer Society},
  url ={http://prosecco.inria.fr/personal/bblanche/publications/BlanchetCSF18.html}
}
Powered by bibtexbrowser