Galois heeft een nieuwe domeinspecifieke taal voor cryptografietoepassingen uitgebracht, genaamd Cryptol. Hiermee zijn specificaties te schrijven die vervolgens kunnen worden omgetoverd tot C-, C++-, Haskell-, Verilog- of VHDL-implementaties. Ook kunnen er formele modellen uit gegenereerd worden voor verificatiedoeleinden.
Cryptol is ontworpen met symmetrische blokencryptie in het achterhoofd en kan efficiënt overweg met reeksen en modulus- en polynoomrekenen. De software is beschikbaar voor Linux, Mac OS X en Windows. Een proefversie van Cryptol is gratis te downloaden.
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.