Enigmatic Haskell, Haskellish Enigma
Rishiyur S. Nikhil
Boston Haskell, February 18, 2015
Nikhil builds an Enigma machine. First in Cryptol, then in hardware by way of Haskell.
Slides and code available here: https://github.com/rsnikhil/Enigma_Cryptol_Bluespec_BSV.git