Crypto-Core Design Using Functional Programming Techniques

Publiziert auf der XXV Conference on Design of Circuits and Integrated Systems (DCIS 2010), Lanzarote, 17-19 November 2010.

Abstract:
In the past, imperative software programming languages have catched on as
the default way of describing hardware designs on higher levels of abstraction.
There are, however, good reasons why the functional programming
paradigm fits, at least in certain domains like cryptography, more naturally for designing hardware.

This paper describes the languages, tools and techniques to design
cryptographic hardware with functional programming techniques.
As examples, it presents a MD5 hardware design in ForSyDe, a functional Hardware Description
Language embedded in the popular functional programming language Haskell and
sketches a MD6 software design in Haskell which exploits MD6's inherent