Cryptol course: High assurance Cryptographic Development using the Cryptol workbench
Updated: 2010-10-26 01:38:01
Galois is offering a four‐day Cryptol course for those interested in exploring the capabilities of the Cryptol workbench.
The course is highly participatory: we will work on a series of exercises for each new topic, using the Cryptol toolset interactively. Prospective participants should have experience writing programs and some knowledge of cryptography. Those who complete the course [...]