In page 9 (16 in the PDF) of Final report of European project IST-1999-12324 (NESSIE), 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?