MRC-software.json

[
    {
        "DARPA Program":"MRC",
        "Program Teams":[
            "Johns Hopkins University"
        ],
        "Contributors":[
            ""
        ],
        "Sub-contractors":[
            ""
        ],
        "Software":"Spines",
        "Internal Link":"",
        "External Link":"http://www.spines.org/",
        "Public Code Repo":"http://www.dsn.jhu.edu/download/download_spines.cgi",
        "Instructional Material":"",
        "Description":"Spines is a generic messaging infrastructure that provides transparent unicast, multicast and anycast communication over dynamic, multi-hop networking environments without the need for expensive router programming environments or low level router coding. It provides automatic reconfiguration and network flexibility required for research and production deployments.",
        "License":[
            "BSD-like"
        ],
        "Languages":[
            "C"
        ],
        "Platform Requirements":[
            ""
        ],
        "Dependent modules":[
            ""
        ],
        "Dependent module URLs":[
            ""
        ],
        "Component modules":[
            ""
        ],
        "Component module URLs":[
            ""
        ],
        "Industry":[
            ""
        ],
        "Functionality":[
            ""
        ],
        "Categories":[
            "Cloud Computing",
            "Messaging Systems"
        ],
        "New Date":"",
        "Update Date":""
    },
    {
        "DARPA Program":"MRC",
        "Program Teams":[
            "Johns Hopkins University"
        ],
        "Contributors":[
            ""
        ],
        "Sub-contractors":[
            ""
        ],
        "Software":"Prime",
        "Internal Link":"",
        "External Link":"http://www.dsn.jhu.edu/byzrep/prime.html",
        "Public Code Repo":"http://dsn.jhu.edu/download/download_prime_MZceyx.cgi",
        "Instructional Material":"",
        "Description":"Prime is a Byzantine fault-tolerant replication system whose goal is to provide a meaningful level of performance even after some of the replication servers have been compromised. Prime meets Safety (consistency of the correct replicas) and Liveness (the eventual execution of each update) constraints as long as no more than f out of 3f+1 replicas are compromised and the network is sufficiently stable. Prime also meets a stronger, Bounded-Delay, performance guarantee that limits the amount of performance degradation that can be caused by malicious servers.",
        "License":[
            "BSD-like"
        ],
        "Languages":[
            "C"
        ],
        "Platform Requirements":[
            ""
        ],
        "Dependent modules":[
            ""
        ],
        "Dependent module URLs":[
            ""
        ],
        "Component modules":[
            ""
        ],
        "Component module URLs":[
            ""
        ],
        "Industry":[
            ""
        ],
        "Functionality":[
            ""
        ],
        "Categories":[
            "Cloud Computing",
            "Replication Engine"
        ],
        "New Date":"",
        "Update Date":""
    },
    {
        "DARPA Program":"MRC",
        "Program Teams":[
            "Cornell University"
        ],
        "Contributors":[
            ""
        ],
        "Sub-contractors":[
            ""
        ],
        "Software":"Isis2",
        "Internal Link":"",
        "External Link":"http://isis2.codeplex.com/releases",
        "Public Code Repo":"http://isis2.codeplex.com/downloads/get/772418",
        "Instructional Material":"",
        "Description":"Isis2 is a new option for cloud computing that can enable reliable, secure replication of data even in the highly elastic first-tier of the cloud. Isis2 is a project of Ken Birman at Cornell University. Although the system started out as a data replication technology (groups of programs that can share updates), in 2013 Isis2 became much more big-data oriented.",
        "License":[
            "BSD"
        ],
        "Languages":[
            "C#"
        ],
        "Platform Requirements":[
            ""
        ],
        "Dependent modules":[
            ""
        ],
        "Dependent module URLs":[
            ""
        ],
        "Component modules":[
            ""
        ],
        "Component module URLs":[
            ""
        ],
        "Industry":[
            ""
        ],
        "Functionality":[
            ""
        ],
        "Categories":[
            "Distributed Computing",
            "Cloud Computing"
        ],
        "New Date":"",
        "Update Date":""
    },
    {
        "DARPA Program":"MRC",
        "Program Teams":[
            "Cornell University"
        ],
        "Contributors":[
            ""
        ],
        "Sub-contractors":[
            ""
        ],
        "Software":"TCPR",
        "Internal Link":"",
        "External Link":"http://www.cs.cornell.edu/~burgess/tcpr/",
        "Public Code Repo":"https://github.com/rahpaere/tcpr/",
        "Instructional Material":"",
        "Description":"TCPR can turn one or both of the endpoints of a TCP connection in to a long-lived one, surviving both migration and failure+recovery events, transparently to the other endpoint. This version should be used for standard TCP connections.",
        "License":[
            "BSDv3"
        ],
        "Languages":[
            "C"
        ],
        "Platform Requirements":[
            ""
        ],
        "Dependent modules":[
            ""
        ],
        "Dependent module URLs":[
            ""
        ],
        "Component modules":[
            ""
        ],
        "Component module URLs":[
            ""
        ],
        "Industry":[
            ""
        ],
        "Functionality":[
            ""
        ],
        "Categories":[
            "High Assurance Computing",
            "Network Protocols"
        ],
        "New Date":"",
        "Update Date":""
    },
    {
        "DARPA Program":"MRC",
        "Program Teams":[
            "Cornell University"
        ],
        "Contributors":[
            ""
        ],
        "Sub-contractors":[
            ""
        ],
        "Software":"TCPR-SSL",
        "Internal Link":"",
        "External Link":"http://www.cs.cornell.edu/~burgess/tcpr/",
        "Public Code Repo":"https://github.com/rvanren/TCPR-SSL",
        "Instructional Material":"",
        "Description":"TCPR can turn one or both of the endpoints of a TCP connection in to a long-lived one, surviving both migration and failure+recovery events, transparently to the other endpoint. This release has been integrated with OpenSSL.",
        "License":[
            "BSDv3"
        ],
        "Languages":[
            "C"
        ],
        "Platform Requirements":[
            ""
        ],
        "Dependent modules":[
            ""
        ],
        "Dependent module URLs":[
            ""
        ],
        "Component modules":[
            ""
        ],
        "Component module URLs":[
            ""
        ],
        "Industry":[
            ""
        ],
        "Functionality":[
            ""
        ],
        "Categories":[
            "High Assurance Computing",
            "Network Protocols"
        ],
        "New Date":"",
        "Update Date":""
    },
    {
        "DARPA Program":"MRC",
        "Program Teams":[
            "Cornell University"
        ],
        "Contributors":[
            ""
        ],
        "Sub-contractors":[
            ""
        ],
        "Software":"Live Distributed Objects",
        "Internal Link":"",
        "External Link":"https://liveobjects.codeplex.com",
        "Public Code Repo":"https://liveobjects.codeplex.com",
        "Instructional Material":"",
        "Description":"Live Distributed Objects is a visualization technology for creating collaborative shared applications (live objects) where any change made by any user is immediately mirrored to all other users.  The technology is cloud-based but can operate without any central server or data center if desired, making it feasible to use it in a forward mission situation where back-connectivity to the data center is disrupted.",
        "License":[
            "BSDv3"
        ],
        "Languages":[
            "C"
        ],
        "Platform Requirements":[
            ""
        ],
        "Dependent modules":[
            ""
        ],
        "Dependent module URLs":[
            ""
        ],
        "Component modules":[
            ""
        ],
        "Component module URLs":[
            ""
        ],
        "Industry":[
            ""
        ],
        "Functionality":[
            ""
        ],
        "Categories":[
            "Cloud Computing",
            "Collaboration",
            "Mashups"
        ],
        "New Date":"",
        "Update Date":""
    },
    {
        "DARPA Program":"MRC",
        "Program Teams":[
            "Cornell University"
        ],
        "Contributors":[
            ""
        ],
        "Sub-contractors":[
            ""
        ],
        "Software":"Live Distributed Objects integrated with Isis2",
        "Internal Link":"",
        "External Link":"https://ldo4gridcloud.codeplex.com",
        "Public Code Repo":"https://ldo4gridcloud.codeplex.com",
        "Instructional Material":"",
        "Description":"Live Distributed Objects is a visualization technology for creating collaborative shared applications (live objects) where any change made by any user is immediately mirrored to all other users.  The technology is cloud-based but can operate without any central server or data center if desired, making it feasible to use it in a forward mission situation where back-connectivity to the data center is disrupted.  The original Live Distributed Objects technology doesn't compile on the most recent Windows 8 release from Microsoft, and lacked a driver to integrate it with Isis2.  This code base resolves both issues, but the main documentation remains unchanged and should be accessed on the Live Distributed Objects release site.",
        "License":[
            "BSDv3"
        ],
        "Languages":[
            "C"
        ],
        "Platform Requirements":[
            ""
        ],
        "Dependent modules":[
            ""
        ],
        "Dependent module URLs":[
            ""
        ],
        "Component modules":[
            ""
        ],
        "Component module URLs":[
            ""
        ],
        "Industry":[
            ""
        ],
        "Functionality":[
            ""
        ],
        "Categories":[
            "Cloud Computing",
            "Collaboration",
            "Mashups"
        ],
        "New Date":"",
        "Update Date":""
    },
    {
        "DARPA Program":"MRC",
        "Program Teams":[
            "Cornell University"
        ],
        "Contributors":[
            ""
        ],
        "Sub-contractors":[
            ""
        ],
        "Software":"ShadowDB",
        "Internal Link":"",
        "External Link":"https://github.com/nschiper/ShadowDB",
        "Public Code Repo":"https://github.com/nschiper/ShadowDB",
        "Instructional Material":"",
        "Description":"A replicated database built from ODBC-compatible databases and synthesized 'correct-by-construction' consensus code.",
        "License":[
            "BSDv3"
        ],
        "Languages":[
            "Java",
            "EventML"
        ],
        "Platform Requirements":[
            ""
        ],
        "Dependent modules":[
            ""
        ],
        "Dependent module URLs":[
            ""
        ],
        "Component modules":[
            ""
        ],
        "Component module URLs":[
            ""
        ],
        "Industry":[
            ""
        ],
        "Functionality":[
            ""
        ],
        "Categories":[
            "High Assurance Computing",
            "Database"
        ],
        "New Date":"",
        "Update Date":""
    },
    {
        "DARPA Program":"MRC",
        "Program Teams":[
            "SRI International",
            "University of Cambridge"
        ],
        "Contributors":[
            ""
        ],
        "Sub-contractors":[
            ""
        ],
        "Software":"Mirage Operating System",
        "Internal Link":"",
        "External Link":"http://openmirage.org/",
        "Public Code Repo":"http://openmirage.org/wiki/install",
        "Instructional Material":"",
        "Description":"Mirage is a unikernel for constructing secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS such as Linux or MacOS X, and then compiled into a fully-standalone, specialised kernel that runs under the Xen hypervisor. The framework is fully event-driven, with no support for preemptive threading.",
        "License":[
            "ISC",
            "GPLv2"
        ],
        "Languages":[
            "OCaml"
        ],
        "Platform Requirements":[
            ""
        ],
        "Dependent modules":[
            ""
        ],
        "Dependent module URLs":[
            ""
        ],
        "Component modules":[
            ""
        ],
        "Component module URLs":[
            ""
        ],
        "Industry":[
            ""
        ],
        "Functionality":[
            ""
        ],
        "Categories":[
            "Security",
            "Operating Systems",
            "Programming Languages"
        ],
        "New Date":"",
        "Update Date":""
    },
    {
        "DARPA Program":"MRC",
        "Program Teams":[
            "SRI International",
            "University of Cambridge"
        ],
        "Contributors":[
            ""
        ],
        "Sub-contractors":[
            ""
        ],
        "Software":"SE-Floodlight (SEK)",
        "Internal Link":"",
        "External Link":"http://www.openflowsec.org/",
        "Public Code Repo":"Please contact Phil Porras (SRI)",
        "Instructional Material":"",
        "Description":"SE-Floodlight is a software extension to the BigSwitch Floodlight controller, providing role-based authorization and strong security constraints enforcement.  It is the first reference implementation of an SDN security policy enforcing mediation service in an OpenFlow stack.",
        "License":[
            "SRI no-cost research purposes license"
        ],
        "Languages":[
            "Java"
        ],
        "Platform Requirements":[
            ""
        ],
        "Dependent modules":[
            ""
        ],
        "Dependent module URLs":[
            ""
        ],
        "Component modules":[
            ""
        ],
        "Component module URLs":[
            ""
        ],
        "Industry":[
            ""
        ],
        "Functionality":[
            ""
        ],
        "Categories":[
            "Security",
            "Software Defined Networking"
        ],
        "New Date":"",
        "Update Date":""
    },
    {
        "DARPA Program":"MRC",
        "Program Teams":[
            "SRI International",
            "University of Cambridge"
        ],
        "Contributors":[
            ""
        ],
        "Sub-contractors":[
            ""
        ],
        "Software":"SDN Security Actuator",
        "Internal Link":"",
        "External Link":"http://www.openflowsec.org/",
        "Public Code Repo":"Please contact Phil Porras (SRI)",
        "Instructional Material":"",
        "Description":"The SDN Security Actuator is a middle-ware abstraction service that enables legacy INFOSEC security products and technology to easily integrate into an OpenFlow network stack.  The Security Actuator enables security services to communicate high level threat response directives, which are then translated into stateful OpenFlow flow rule insertions to are sent to SE-Floodlight.  These directives utilize SE-Floodlight's Alias Rule Reduction algorithm to ensure that all redirections and blocks cannot be circumvented by flow rules set actions that implement virtual tunnels that would otherwise violate the directive.",
        "License":[
            "SRI no-cost research purposes license"
        ],
        "Languages":[
            "Java",
            "Perl"
        ],
        "Platform Requirements":[
            ""
        ],
        "Dependent modules":[
            ""
        ],
        "Dependent module URLs":[
            ""
        ],
        "Component modules":[
            ""
        ],
        "Component module URLs":[
            ""
        ],
        "Industry":[
            ""
        ],
        "Functionality":[
            ""
        ],
        "Categories":[
            "Security",
            "Software Defined Networking"
        ],
        "New Date":"",
        "Update Date":""
    }
]