In page 9 (16 in the PDF) of [Final report][1] of [European project IST-1999-12324 (NESSIE)][2], it is mentioned that: > The NESSIE project is also developing a new generic tool to analyze block ciphers with differential [78] and linear cryptanalysis [422]. **This tool is based on a general description language for block ciphers**. - Is this "description language" publicly available? - Is there any other general description language for block ciphers or stream ciphers? - Is This tool publicly available? [1]: https://www.cosic.esat.kuleuven.be/nessie/Bookv015.pdf [2]: https://www.cosic.esat.kuleuven.be/nessie/