Code of the paper: "Simplified Modeling of MITM Attacks for Block Ciphers: new (Quantum) Attacks" by André Schrottenloher & Marc Stevens (available from the ePrint archive). Contents of the files: - util.py: definitions of the Constraints object (a graph-based object representing an attacked cipher) and the Cipher object (a more intuitive interface for Constraints which allows to define the cipher by its sequence of operations) - modeling.py: the translation of a Constraints into a MILP problem - attacks.py: definition of ciphers that we considered in the paper, and solving the constraints for each of them (resulting figures are automatically generated) - simplifiedpresent.sty: TeX style file that defines the macros used for the figures