Software Open Access

Supplementary material for the publication "Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation"

Kaloper-Meršinjak, David; Mehnert, Hannes; Madhavapeddy, Anil; Sewell, Peter


BibTeX Export

@misc{kaloper_mersinjak_2015_19160,
  author       = {Kaloper-Meršinjak, David and
                  Mehnert, Hannes and
                  Madhavapeddy, Anil and
                  Sewell, Peter},
  title        = {{Supplementary material for the publication "Not- 
                   quite-so-broken TLS: lessons in re-engineering a
                   security protocol specification and
                   implementation"}},
  month        = jun,
  year         = 2015,
  doi          = {10.5281/zenodo.19160},
  url          = {https://doi.org/10.5281/zenodo.19160}
}

Share

Cite as