aboutsummaryrefslogtreecommitdiff

       +=--------------------------------------------=+
       | enredo: entanglement redundancy defense op   |
       | <http://pablo.rauzy.name/sensi/enredo.html>  |
       +=--------------------------------------------=+

The enredo (ENtanglement REdundancy Defense Op) tool is being
developed as part of my PhD work. Its goal is to protect asymmetric
cryptography algorithms against fault injection attacks. It is a
proved compiler (the semantic of its input and output is proved to be
the same) which takes an algorithm as input and outputs a a protected
equivalent algorithm. The protection technique, that we call
"entanglement", is based on efficient redundancy for integrity
verification.

The name "enredo" comes from the Spanish word for "entanglement".
It also has the word "redo" in it which reflects the redundancy idea
behind this work.


INSTALL
=======

- enredo depends on:

  - OCaml <http://www.ocaml.org/> 3.12.1+
  - Batteries <http://batteries.forge.ocamlcore.org/> 2.1+
  - menhir <http://gallium.inria.fr/~fpottier/menhir/>
  - Sexplib <https://github.com/janestreet/sexplib>

  These dependencies can easily be installed using the OCaml Package
  Manager, OPAM <http://opam.ocaml.org/>.

- Once the dependencies are installed, compile enredo with:

    ocamlbuild -use-ocamlfind enredo.native


USAGE
=====

TODO

Pablo Rauzy — generated by cgit