BONC: a framework for automatic cryptanalysis using the implementation code | Synapse