Repositories list

• tpmEmulator

  Public
  Haskell implementation of the Trusted Platform Module interface

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•0•0•Updated May 3, 2018May 3, 2018

• doc

  Public
  ArmoredSoftware documentation

  TeX

  •0•1•0•0•Updated May 16, 2017May 16, 2017

• protocolImplementation

  Public
  Haskell core infrastructure for implementation of ArmoredSoftware protocols

  Haskell

  •0•0•0•0•Updated May 5, 2017May 5, 2017

• session

  Public
  Dependent Session Types

  Coq

  •

  BSD 2-Clause "Simplified" License

  •0•3•0•0•Updated Mar 15, 2017Mar 15, 2017

• measurer

  Public
  JSON-RPC invokable measurer for native applications and the Request Line Interpreter (RLI) interactive client.

  C

  •0•0•0•0•Updated Jan 7, 2016Jan 7, 2016

• channels

  Public
  Definition and implementation of various channel models for communication among ArmoredSoftware components

  Haskell

  •0•0•0•0•Updated Nov 23, 2015Nov 23, 2015

• demoConfig

  Public
  Demonstration configurations

  PHP

  •0•0•0•0•Updated Aug 31, 2015Aug 31, 2015

• xenVchan

  Public
  Haskell interface to the inter-domain communication protocol

  C

  •0•0•0•0•Updated Aug 26, 2015Aug 26, 2015

• formalModels

  Public
  Formal models associated with ArmoredSoftware development

  Coq

  •0•0•0•0•Updated Jul 10, 2015Jul 10, 2015

• cloudSetup

  Public
  Instructions and support for the creation of a cloud and deployment of code in the cloud

  0•0•0•0•Updated Jul 8, 2015Jul 8, 2015

• code

  Public
  ArmoredSoftware project at The University of Kansas Information and Telecommunication Technology Center

  C

  •0•1•0•0•Updated Jul 7, 2015Jul 7, 2015

• protocol

  Public
  Attestation protocol execution code

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Jul 6, 2015Jul 6, 2015

• armoredsoftware.github.io

  Public
  ArmoredSoftware project website

  CSS

  •0•0•0•0•Updated Feb 1, 2015Feb 1, 2015

• model

  Public
  Basic model of armored software architecture

  Haskell

  •0•0•0•0•Updated Jun 4, 2014Jun 4, 2014