htcc : haskell to handel - c hardware compiler .
Lightweight Cryptography for FPGAs