@hackage / sme

A library for Secure Multi-Execution in Haskell

Latest0.1

About

Metadata

  • Last updated , by AlejandroRusso
  • License BSD-3-Clause

  • Maintained by: Mauro Jaskelioff < mauro @ fceia dot unr dot edu dot ar>, Alejandro Russo < russo at chalmers dot se >

  • Lottery factor: 0

Links

Installation

Readme

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