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


JSON Export

{
  "conceptrecid": "610723", 
  "created": "2015-06-30T17:23:44+00:00", 
  "doi": "10.5281/zenodo.19160", 
  "id": 19160, 
  "links": {
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.19160.svg", 
    "doi": "https://doi.org/10.5281/zenodo.19160"
  }, 
  "metadata": {
    "access_right": "open", 
    "access_right_category": "success", 
    "creators": [
      {
        "affiliation": "University of Cambridge, Computer Labs", 
        "name": "Kaloper-Mer\u0161injak, David"
      }, 
      {
        "affiliation": "University of Cambridge, Computer Labs", 
        "name": "Mehnert, Hannes"
      }, 
      {
        "affiliation": "University of Cambridge, Computer Labs", 
        "name": "Madhavapeddy, Anil"
      }, 
      {
        "affiliation": "University of Cambridge, Computer Labs", 
        "name": "Sewell, Peter"
      }
    ], 
    "description": "<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>", 
    "doi": "10.5281/zenodo.19160", 
    "keywords": [
      "computer science", 
      "security", 
      "OCaml", 
      "transport layer security", 
      "operating system"
    ], 
    "license": {
      "id": "bsd-license"
    }, 
    "meeting": {
      "dates": "12-14 August 2015", 
      "place": "Washington DC", 
      "title": "24th Usenix Security Symposium", 
      "url": "https://www.usenix.org/conference/usenixsecurity15"
    }, 
    "publication_date": "2015-06-30", 
    "relations": {
      "version": [
        {
          "count": 1, 
          "index": 0, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "19160"
          }, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "610723"
          }
        }
      ]
    }, 
    "resource_type": {
      "title": "Software", 
      "type": "software"
    }, 
    "title": "Supplementary material for the publication \"Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation\""
  }, 
  "owners": [
    14474
  ], 
  "revision": 7, 
  "updated": "2017-09-06T06:51:31.206544+00:00"
}

Share

Cite as