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.


Versions 0.1
Dependencies base (==4.*) [details]
License BSD3
Copyright (c) 2011 Mauro Jaskelioff, Alejandro Russo
Author Mauro Jaskelioff, Alejandro Russo
Maintainer Mauro Jaskelioff < mauro @ fceia dot unr dot edu dot ar>, Alejandro Russo < russo at chalmers dot se >
Category Security
Source repository head: git clone
Uploaded Sat May 7 07:55:55 UTC 2011 by AlejandroRusso
Distributions NixOS:0.1
Downloads 315 total (8 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees