@Inproceedings{erkok-carlsson-wick-cryptolCoverification-09,
   author    = "Levent {Erk\"{o}k} and Magnus Carlsson and Adam Wick",
   title     = "Hardware/Software Co-verification of Cryptographic Algorithms using {C}ryptol",
   booktitle = "Formal Methods in Computer Aided Design, FMCAD'09,
                Austin, TX, USA",
   publisher = "IEEE",
   month     = nov,
   pages     = "188--191",
   year      = "2009",
}