Kryptografi svikter sjelden fordi en algoritme er knekt. Den svikter i detaljene rundt: en nonce som gjentas, en tilfeldighetsgenerator som er seedet med klokkeslettet, en signatur som verifiseres, men ikke er bundet til konteksten sin, en nøkkel som utledes riktig og deretter skrives til en logg.
Disse feilene er stille. Systemet fungerer, testene går gjennom, og en privat nøkkel kan rekonstrueres fra signaturene systemet allerede har publisert. Vi gjennomgår designet med tanke på hva det forutsetter, og implementasjonen med tanke på om forutsetningene holder, og vi tester resultatene der matematikken tillater en konklusjon: signaturer, tilfeldige verdier og chiffertekster.
01Omfang
Hva vi tester
Protokolldesign: autentisering, nøkkelutveksling, etablering av økter
Signaturordninger: generering av nonce i ECDSA og EdDSA, formbarhet, replay
Generering, utledning, lagring, rotasjon og destruksjon av nøkler
Generering av tilfeldige tall og entropikilder
Krypteringsmoduser, padding, autentisering av chiffertekst
Lommebøker og forvaring: håndtering av seed, derivasjonsstier, signeringsflyter
Terskel- og flerpartsordninger, konfigurasjoner med multisignatur
Integrasjon med maskinvaresikkerhetsmoduler og tjenester for nøkkelhåndtering
Sidekanaler i programvare: timing, feilatferd, minnehåndtering
02Fremgangsmåte
Slik utføres arbeidet
01
Gjennomgang av designet
Vi leser spesifikasjonen og angir sikkerhetsegenskapene designet hevder å ha, og forutsetningene det bygger på.
02
Gjennomgang av implementasjonen
Koden sammenlignes med designet. Vi ser på hvordan biblioteker brukes, og hvor implementasjonen avviker fra det designet krever.
03
Analyse av resultater
Signaturer, nonces og tilfeldige verdier som systemet produserer, analyseres for skjevhet, gjenbruk og struktur med gittermetoder og statistiske metoder.
04
Demonstrasjon av angrep
Der en svakhet kan utnyttes, demonstrerer vi den på testnøkler som er generert for formålet. Nøkler som beskytter reelle verdier, er aldri målet for en demonstrasjon.
Poengsum og vektor for alvorlighetsgraden til hvert funn.
FIRST
06Spørsmål
Spørsmål om denne tjenesten
Vi bruker et velkjent bibliotek. Er det noe å gjennomgå?
Ja. Biblioteket er sjelden problemet. Feilene ligger i måten det kalles på, parameterne det får, og det som skjer med nøklene før og etter kallet.
Kommer dere til å arbeide med produksjonsnøklene våre?
Nei. Vi arbeider med testnøkler og med offentlige resultater, for eksempel signaturer. Hvis analysen av offentlige data viser at en produksjonsnøkkel er i fare, får du beskjed med en gang, og nøkkelen blir ikke rekonstruert.
Kan dere gjennomgå en protokoll som bare finnes på papiret?
Ja, og det er det billigste tidspunktet å gjøre det på. En feil i designet som blir funnet før implementasjonen, koster en endring i et dokument.
Revisjon av smartkontrakter og protokollogikk linje for linje før utrulling: manuell gjennomgang, testing av invarianter og gjennomgang av utbedringene.