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 formally proved compiler (the semantic of its input and output is proved to be the same) which takes an algorithm as input and outputs a protected equivalent algorithm. The protection technique, that we call "entanglement", is based on efficient redundancy for integrity verification, and has also been formally proven.
Installation and usage instructions can be found in the README file.