Software Open Access
Kaloper-Meršinjak, David; Mehnert, Hannes; Madhavapeddy, Anil; Sewell, Peter
<?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"><p>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&ntilde;ata etc.</p></description> </descriptions> </resource>