Domain Specific High-Level Synthesis for Cryptographic Workloads