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), Technical report RR-9171, Inria, 2018.
Bibtex Entry:
@TechReport{BlanchetInria18,
  author = 	 {Bruno Blanchet},
  title = 	 {Composition Theorems for {C}rypto{V}erif and Application to {TLS}~1.3},
  institution =  {Inria},
  year = 	 2018,
  type = 	 {Research Report},
  number = 	 {RR-9171},
  month = 	 apr,
  url = {https://hal.inria.fr/hal-01764527}
}
Powered by bibtexbrowser