sme: A library for Secure Multi-Execution in Haskell

[ bsd3, library, security ] [ Propose Tags ]

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1
Dependencies base (>=4 && <5) [details]
License BSD-3-Clause
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 repo head: git clone gitosis@csmisc17.cs.chalmers.se:sme
Uploaded by AlejandroRusso at 2011-05-07T07:55:55Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1017 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]