Wolfs, Aerts, Mentens, 2012. Design space exploration for automatically generated cryptographic hardware using functional languages, in: . IEEE.. https://doi.org/10.1109/fpl.2012.6339174