Extracting the Reference Test Suites from Cryptographic Protocol Specifications Written on a Domain-Specific Language
Sergey Evgenievich Prokopev · Proceedings of the Institute for System Programming of RAS · 2023
The paper describes a tool for testing the security of cryptographic protocol implementations working on the basis of specifications written in a declarative interoperable domain-specific language implemented as EDSL (Embedded [in Haskell] DSL). The problem of forming high-quality reference test suites for testing the security of cryptoprotocol implementations is considered. A method of addressing this problem within the tool being developed is discussed.