Abstrakt. Även om kryptografisk programvara implementation ofta utförs av experter programmerare, utbudet av prestanda och säkerhetsdrivna alternativ, liksom mer vardagliga programvaruteknik frågor, gör det fortfarande en utmaning. Användningen av domänspecifika språk- och kompilatortekniker för att hjälpa till med beskrivning och optimering av kryptografisk programvara är en intressant forskningsutmaning. I detta dokument undersöker vi två aspekter av sådana tekniker, med fokus på Elliptic Curve Cryptography (ECC) i synnerhet. Våra konstruktiva resultat visar att ett lämpligt språk gör det möjligt att beskriva ECC-baserad programvara på ett sätt som ligger nära den ursprungliga matematiken; motsvarande kompilator möjliggör automatisk produktion av en körbar programvara vars prestanda är konkurrenskraftig med en handoptimerad implementering. Däremot studerar vi den oroande potentialen för naiva kompilatordriven optimering för att göra kryptografisk programvara osäker. Båda aspekterna av vårt arbete fastställs inom ramen för CACE, ett pågående EU-finansierat projekt i denna allmänna fråga.
Barbosa m.fl. REF har analyserat en kompilators effekter på den elliptiska kurvans kryptografi.
Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography
{'venue': 'Journal of Cryptology', 'journal': 'Journal of Cryptology', 'mag_field_of_study': ['Computer Science']}