• Haskell implementation of the Trusted Platform Module interface

    Haskell Updated May 3, 2018
  • ArmoredSoftware documentation

    TeX 1 Updated May 16, 2017
  • Haskell core infrastructure for implementation of ArmoredSoftware protocols

    Haskell Updated May 5, 2017
  • Dependent Session Types

    Coq 3 BSD-2-Clause Updated Mar 15, 2017
  • JSON-RPC invokable measurer for native applications and the Request Line Interpreter (RLI) interactive client.

    C Updated Jan 7, 2016
  • Definition and implementation of various channel models for communication among ArmoredSoftware components

    Haskell Updated Nov 23, 2015
  • Demonstration configurations

    PHP Updated Aug 31, 2015
  • Haskell interface to the inter-domain communication protocol

    C Updated Aug 26, 2015
  • Formal models associated with ArmoredSoftware development

    Coq Updated Jul 10, 2015
  • Instructions and support for the creation of a cloud and deployment of code in the cloud

    Updated Jul 8, 2015
  • ArmoredSoftware project at The University of Kansas Information and Telecommunication Technology Center

    C 1 Updated Jul 7, 2015
  • Attestation protocol execution code

    C BSD-3-Clause Updated Jul 6, 2015
  • ArmoredSoftware project website

    CSS Updated Feb 1, 2015
  • Basic model of armored software architecture

    Haskell Updated Jun 4, 2014