The sme package

[Tags: bsd3, library]

The library is based on the paper Secure Multi-Execution in Haskell by Mauro Jaskelioff, and Alejandro Russo. In Proceedings of Andrei Ershov International Conference on Perspectives of System Informatics (PSI'11), Akademgorodok, Novosibirsk, Russia, June 27-July 1, 2011. LNCS, Springer-Verlag. http://www.cse.chalmers.se/~russo/publications_files/sme.pdf


Properties

Version0.1
Dependenciesbase (==4.*)
LicenseBSD3
Copyright(c) 2011 Mauro Jaskelioff, Alejandro Russo
AuthorMauro Jaskelioff, Alejandro Russo
MaintainerMauro Jaskelioff < mauro @ fceia dot unr dot edu dot ar>, Alejandro Russo < russo at chalmers dot se >
Stabilityexperimental
CategorySecurity
Source repositoryhead: git clone gitosis@csmisc17.cs.chalmers.se:sme
UploadedSat May 7 07:55:55 UTC 2011 by AlejandroRusso
Downloads114 total (7 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees