Secure Multi-execution in Haskell.

Mauro Jaskelioff Alejandro Russo

Published in: Ershov Memorial Conference (2011)

Keyphrases

programming language
factor authentication
execution model
real time
databases
software engineering
lightweight
highly efficient
standard model