This repository contains an implementation of the Expanding Circuit Compiler, as well as implementation of the protected AES-128, introduced in the following publication :
Random Probing Security: Verification, Composition, Expansion and New Constructions
By Sonia Belaïd, Jean-Sébastien Coron, Emmanuel Prouff, Matthieu Rivain and Abdul Rahman Taleb In the proceedings of CRYPTO 2020.
- Compiler: Contains the full code for the Expanding Circuit Compiler
- AES-128: Contains the full code for the protected AES-128 implementation