Schneier szerint a kvantumkripto értelmetlen: http://www.wired.com/politics/security/commentary/securitymatters/2008/10/securitymatters_1016
Cryptol:
Cryptol is a language for writing specifications for cryptographic algorithms. It is also a tool set for producing high-assurance, efficient implementations in VHDL, C, and Haskell. The Cryptol tools include the ability to equivalence check the reference specification against an implementation, whether or not it was compiled from the specifications.
