Asymmetrische of publieke-sleutelcryptografie kan een zware wissel trekken op de processor, zowel op het vlak van berekeningen als qua geheugenverkeer. Barco Silex legt uit hoe zijn...
Het waren pijnlijke jaren, maar het gaat weer de goede kant op met zijn bedrijf, vertelt CTO René Penning de Vries van NXP. Een gesprek...
Beveiliging is een onderwerp van extremen. Dat is precies wat het spannend maakt. Versleutelen is een kant van beveiliging die het meest tot de verbeelding spreekt. Ik herinner me het geheimschrift...
3 februari 2009
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.
Links:
© Bits & Chips | Deze pagina op internet: http://www.bits-chips.nl/nc/nieuws/bekijk/artikel/domeinspecifieke-taal-moet-cryptografie-vereenvoudigen.html
