Implementing an Electronic Design Automation Tool for Cryptographic Hardware using Functional Languages

摘要

Accepted for presentation at the conference, distributed at the conference (without peer reviewing), but not published in the post-conference proceedings (with peer reviewing).