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.