An optimized CPU architecture for cryptological functions
Implementation and analysis of cryptographical primitives on the MicroCore CPU, which has a Forth like assembler language. A C to MicroCore assembler compiler will be developed based on lcc, which is used then to compile the cryptographical primitives for analysis. In the analysis the expensive steps will be located and then when possible be realised as single cycle instruction for the MicroCore. The MicroCore CPU allows it to implement user defined instructions in VHDL which then are synthesized into Hardware.
Post quantum cryptography, Hash function, Merkle authentification trees, MicroCore, Forth, Compiler, VHDL
- Identify inner loops in the Forth code of the crypto algorithms, which are potential candidates for direct hardware realisation.
- Analyse whether these inner loops can be realised as a single cycle instruction and translate them into VHDL.
- Develop a C-Compiler based on lcc that produces MicroCore Forth native instructions.
MicroCore development board
A general characteristic of most cryptographical algorithms is the repetitive usage of a small set of functions. Their efficient implementation determines how much time and space overhead the security scheme imposes on sending messages between two end points. In a market where pervasive computing on smaller and smaller scales is the rule, the efficiency of this time/space tradeoff is crucial to guarantee user acceptance and device scalability.
The unique architecture of MicroCore offers three big advantages in such a market:
1. Almost a one-to-one conversion between the high level (Forth) specification of the algorithm and its compiled form. This means that a robust and secure implementation at the high level will not degrade through the compilation process.
2. The possibility to expand the native instruction set without changing the CPU architecture.
3. The possibility to implement these new instructions directly in hardware through the translation of Forth code into VHDL
Duration: September 2012 - January 2014
Funding: Hasler Stiftung
Prof. Dr. Carlo Nicola
Tel: +41 56 202 78 26 (Direkt)