A program to find optimal circuits for 4-variable/16-bit s-boxes. Developed at NTU under the supervision of Professor Anupam Chattopadhyay.

Python 3.x. No other dependencies required.

MITM.py is the main program. Usage instructions can be found in the documentation.