Design space exploration for automatically generated cryptographic hardware using functional languages | IEEE Conference Publication | IEEE Xplore