Een bibliotheek van cryptografische operatie omzetten met Lava

Abstract

De onderzoeksgroep ES&S (Embedded Systems & Security), van KULeuven campus Diepenbeek, is op het moment bezig met het ontwikkelen van de EDA-DSE-tool. Deze tool kan gebruikt worden voor het automatisch genereren van cryptografische bouwblokken in hardware. Traditioneel gebeurt dit vooral in VHDL, maar in deze tool wordt Lava gebruikt, een taal embedded in Haskell, de standaard functionele taal en kan VHDL gegenereerd worden. Wanneer programmeurs een bepaald programma moeten schrijven, is beveiliging voor het programma een bijzaak en wordt vaak over het hoofd gezien. In dit project wordt dit probleem aangepakt door de generatie van cryptografische blokken te automatiseren. Deze cryptografische blokken, die worden ontwikkeld, focussen op elliptische krommecryptografie (ECC of Elliptic Curve Cryptography), waarvan een eerste gedeelte al in de huidige versie van de tool zit. In dit project zullen de puntbewerkingen van elliptische krommen geschreven en gesimuleerd worden. Hierna zullen puntverdubbeling, puntoptelling en puntvermenigvuldiging geïntegreerd worden in de tool. Binnen dit project zijn de tweede en derde laag van het ECC algoritme correct geïmplementeerd, na het aanpassen van de eerste laag. De simulatie toont dit aan. Tegelijk is de kwaliteit van de documentatie verhoogd zodat men in vervolgprojecten gemakkelijker en sneller kan voortbouwen op de resultaten.