В отчете д-ра Добба за 2008-12-29 годы я увидел, что существует новый DSL (предметно-ориентированный язык) для проектирования криптосистем. Он называется Cryptol и доступен от Galois.
Кто-нибудь смотрел на это? У кого-нибудь есть планы его использовать? Как вы думаете, стоит ли это?
Роберт Гэмбл отмечает:
Криптол не нов, он существует уже много лет. Новым является его доступность (части) для общественности, он был изначально разработан и использован АНБ.
Скорее, как Брайан, у меня нет никакой реальной причины использовать Cryptol. Возможно, это было бы полезно, если бы мне нужно было (повторно) проверить имеющуюся у нас реализацию на основе SSL, хотя я не уверен, что это поможет (нам не нужно проверять библиотеку SSL; нам может потребоваться проверить нашу (неправильное) использование библиотеки SSL).