Cryptol
Source: www.galois.com
Published:
<p>Designing cryptographic hardware correctly, while trading off time, space, and power, is expensive and time-consuming. Verifying that a hardware implementation implements a cryptographic algorithm specification correctly is equally challenging.</p> <p>Correct cryptographic implementations are imp