Kryptografi fallerar sällan för att en algoritm är knäckt. Den fallerar i detaljerna runt algoritmen: en nonce som upprepas, en slumptalsgenerator med tiden som startvärde, en signatur som verifieras men inte är bunden till sitt sammanhang, en nyckel som härleds korrekt och sedan skrivs till en logg.
De här felen är tysta. Systemet fungerar, testerna går igenom, och en privat nyckel kan återskapas ur de signaturer som systemet redan har publicerat. Vi granskar designen för vad den förutsätter och implementationen för om förutsättningarna håller, och vi testar utdata där matematiken tillåter ett avgörande: signaturer, slumpvärden och chiffertexter.
01Omfattning
Vad vi testar
Protokolldesign: autentisering, nyckelutbyte, upprättande av sessioner
Signaturscheman: generering av nonce i ECDSA och EdDSA, formbarhet, replay
Generering, härledning, lagring, rotation och destruktion av nycklar
Generering av slumptal och entropikällor
Krypteringslägen, padding, autentisering av chiffertext
Plånböcker och förvaring: hantering av seed, härledningsvägar, signeringsflöden
Tröskelscheman och flerpartsscheman, konfigurationer med multisignatur
Integration med hårdvarusäkerhetsmoduler och tjänster för nyckelhantering
Sidokanaler i programvara: tidsåtgång, beteende vid fel, minneshantering
02Arbetssätt
Så utförs arbetet
01
Granskning av designen
Vi läser specifikationen och anger vilka säkerhetsegenskaper designen gör anspråk på och vilka antaganden den är beroende av.
02
Granskning av implementationen
Koden jämförs med designen. Vi tittar på hur bibliotek används och var implementationen avviker från det som designen kräver.
03
Analys av utdata
Signaturer, nonces och slumpvärden som systemet producerar analyseras med avseende på snedfördelning, återanvändning och struktur, med gitterbaserade och statistiska metoder.
04
Demonstration av attacker
Där en svaghet går att utnyttja demonstrerar vi det på testnycklar som har genererats för ändamålet. Nycklar som skyddar verkliga värden är aldrig mål för en demonstration.
Poäng och vektor för allvarlighetsgraden hos varje fynd.
FIRST
06Frågor
Frågor om den här tjänsten
Vi använder ett välkänt bibliotek. Finns det något att granska?
Ja. Biblioteket är sällan problemet. Felen finns i hur det anropas, vilka parametrar det får och vad som händer med nycklarna före och efter anropet.
Kommer ni att arbeta med våra produktionsnycklar?
Nej. Vi arbetar med testnycklar och med offentliga utdata som signaturer. Om analysen av offentliga data visar att en produktionsnyckel är i fara informeras du omedelbart, och nyckeln återskapas inte.
Kan ni granska ett protokoll som bara finns på papper?
Ja, och det är det billigaste tillfället att göra det. En designbrist som hittas före implementationen kostar en ändring i ett dokument.