Pinned Repositories
armoredsoftware.github.io
ArmoredSoftware project website
channels
Definition and implementation of various channel models for communication among ArmoredSoftware components
cloudSetup
Instructions and support for the creation of a cloud and deployment of code in the cloud
code
ArmoredSoftware project at The University of Kansas Information and Telecommunication Technology Center
demoConfig
Demonstration configurations
doc
ArmoredSoftware documentation
formalModels
Formal models associated with ArmoredSoftware development
measurer
JSON-RPC invokable measurer for native applications and the Request Line Interpreter (RLI) interactive client.
session
Dependent Session Types
tpmEmulator
Haskell implementation of the Trusted Platform Module interface
ArmoredSoftware's Repositories
armoredsoftware/session
Dependent Session Types
armoredsoftware/code
ArmoredSoftware project at The University of Kansas Information and Telecommunication Technology Center
armoredsoftware/doc
ArmoredSoftware documentation
armoredsoftware/tpmEmulator
Haskell implementation of the Trusted Platform Module interface
armoredsoftware/armoredsoftware.github.io
ArmoredSoftware project website
armoredsoftware/channels
Definition and implementation of various channel models for communication among ArmoredSoftware components
armoredsoftware/cloudSetup
Instructions and support for the creation of a cloud and deployment of code in the cloud
armoredsoftware/demoConfig
Demonstration configurations
armoredsoftware/formalModels
Formal models associated with ArmoredSoftware development
armoredsoftware/measurer
JSON-RPC invokable measurer for native applications and the Request Line Interpreter (RLI) interactive client.
armoredsoftware/protocol
Attestation protocol execution code
armoredsoftware/model
Basic model of armored software architecture
armoredsoftware/protocolImplementation
Haskell core infrastructure for implementation of ArmoredSoftware protocols
armoredsoftware/xenVchan
Haskell interface to the inter-domain communication protocol