> The Cryptol specification language was designed by Galois for the NSA's Trusted Systems Research Group as a public standard for specifying cryptographic algorithms.
> In addition, much of the work on Cryptol has been funded by, and lots of design input was provided by the team at the NSA's Trusted Systems Research Group, including Brad Martin, Frank Taylor and Sean Weaver.
Hey, NSA is quite big :-) I remember reading how one branch of NSA tasked with strenghtening of TOR crypto was angry at anothe branch of NSA that tried to covertly introduce vulnerabilities to it...
> In addition, much of the work on Cryptol has been funded by, and lots of design input was provided by the team at the NSA's Trusted Systems Research Group, including Brad Martin, Frank Taylor and Sean Weaver.
https://github.com/GaloisInc/cryptol