Descrição
Um framework Haskell de testes e conjunto de testes de resposta conhecida para operações criptográficas. Ajuda autores de implementação a verificar se algoritmos correspondem a vetores e comportamentos esperados.
Desenvolvedores o usam ao validar bibliotecas criptográficas. Passar em testes de resposta conhecida é importante, mas não prova que uma implementação é segura contra canais laterais ou segura em protocolos.