White-box Algebraic Security

This repository contains proof-of-concept code for the paper

• Attacks and Countermeasures for White-box Designs
  by Alex Biryukov and Aleksei Udovenko (ASIACRYPT 2018)

The code is splitted into three parts:

1. Implementation: Proof-of-concept implementation of AES using the new nonlinear masking scheme.
2. Verification: Code for verifying algebraic security of gadgets.
3. Attacks: Several attacks from the paper.

Requirements: Python2, SageMath, PyPy2 (recommended)