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

DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-3" xsi:schemaLocation="http://datacite.org/schema/kernel-3 http://schema.datacite.org/meta/kernel-3/metadata.xsd">
  <identifier identifierType="DOI">10.5281/zenodo.19160</identifier>
  <creators>
    <creator>
      <creatorName>Kaloper-Meršinjak, David</creatorName>
      <affiliation>University of Cambridge, Computer Labs</affiliation>
    </creator>
    <creator>
      <creatorName>Mehnert, Hannes</creatorName>
      <affiliation>University of Cambridge, Computer Labs</affiliation>
    </creator>
    <creator>
      <creatorName>Madhavapeddy, Anil</creatorName>
      <affiliation>University of Cambridge, Computer Labs</affiliation>
    </creator>
    <creator>
      <creatorName>Sewell, Peter</creatorName>
      <affiliation>University of Cambridge, Computer Labs</affiliation>
    </creator>
  </creators>
  <titles>
    <title>Supplementary Material For The Publication "Not-Quite-So-Broken Tls: Lessons In Re-Engineering A Security Protocol Specification And Implementation"</title>
  </titles>
  <publisher>Zenodo</publisher>
  <publicationYear>2015</publicationYear>
  <subjects>
    <subject>computer science</subject>
    <subject>security</subject>
    <subject>OCaml</subject>
    <subject>transport layer security</subject>
    <subject>operating system</subject>
  </subjects>
  <dates>
    <date dateType="Issued">2015-06-30</date>
  </dates>
  <resourceType resourceTypeGeneral="Software"/>
  <alternateIdentifiers>
    <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/19160</alternateIdentifier>
  </alternateIdentifiers>
  <rightsList>
    <rights rightsURI="http://www.opensource.org/licenses/bsd-license.php">BSD licenses (New and Simplified)</rights>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
  </rightsList>
  <descriptions>
    <description descriptionType="Abstract">&lt;p&gt;This tarball contains the source code of nqsb-TLS, as well as collected session traces, generated certificates, a virtual machine image of the Bitcoin Pi&amp;ntilde;ata etc.&lt;/p&gt;</description>
  </descriptions>
</resource>
Publication date:
June 30, 2015
DOI:
10.5281/zenodo.19160

Zenodo DOI Badge

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.19160.svg)](https://doi.org/10.5281/zenodo.19160)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.19160.svg
   :target: https://doi.org/10.5281/zenodo.19160

HTML 

<a href="https://doi.org/10.5281/zenodo.19160"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.19160.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.19160.svg

Target URL 

https://doi.org/10.5281/zenodo.19160

Keyword(s):
computer science security OCaml transport layer security operating system
Meeting:
24th Usenix Security Symposium, Washington DC, 12-14 August 2015
License (for files):
BSD licenses (New and Simplified)

Share

Cite as

Export