The sme package
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
| Version | 0.1 |
|---|---|
| Dependencies | base (4.*) |
| 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 > |
| Stability | experimental |
| Category | Security |
| Source repository | git clone gitosis@csmisc17.cs.chalmers.se:sme |
| Upload date | Sat May 7 07:55:55 UTC 2011 |
| Uploaded by | AlejandroRusso |
| Built on | ghc-7.0 |
Modules
Downloads
- sme-0.1.tar.gz (Cabal source package)
- package description (included in the package)