Hardware/software co-verification of cryptographic algorithms using Cryptol.

Levent Erkk, Magnus Carlsson, Adam Wick

Browse the full FMCAD paper archive.