Descrição
Fornece Cryptol, uma linguagem para descrever algoritmos criptográficos e raciocinar sobre seu comportamento. É usada para especificação, testes, verificação e educação em torno de código criptográfico.
Use ao desenvolver ou analisar algoritmos criptográficos com fluxos formais ou baseados em propriedades. Ela ajuda a raciocinar sobre designs, mas não torna uma implementação automaticamente segura.