Cache-baserade sidokanaler gör det möjligt för en dedikerad angripare att avslöja programhemligheter genom att mäta cacheåtkomstmönster. Praktiska attacker har visats mot verkliga kryptoalgoritmimplementationer som RSA, AES och ElGamal. Att identifiera informationsläckage på grund av cachebaserade sidokanaler, antingen på ett statiskt eller dynamiskt sätt, är fortfarande en utmaning: de befintliga strategierna erbjuder inte hög precision, full täckning och god skalbarhet samtidigt, vilket hindrar deras praktiska användning i verkliga scenarier. I detta dokument föreslår vi en ny statisk analysmetod på binärer för att upptäcka cachebaserade sidokanaler. Vi använder abstrakt tolkning för att resonera om programtillstånd med avseende på abstrakta värden vid varje programpunkt. För att göra en sådan abstrakt tolkning skalbar till verkliga kryptosystem samtidigt som vi erbjuder hög precision och full täckning, föreslår vi en ny abstrakt domän som kallas Secret-Augmented Symbolic domain (SAS). SAS spårar programhemligheter och beroenden på dem för precision, medan det spårar endast grovkornig offentlig information för skalbarhet. Vi har implementerat den föreslagna tekniken i ett praktiskt verktyg som heter CacheS och utvärderat den på implementationer av allmänt använda kryptografiska algoritmer i realworld crypto bibliotek, inklusive Libgcrypt, OpenSSL, och mbedTLS. CacheS bekräftade med framgång totalt 154 informationsläckage som rapporterats av tidigare forskning och 54 läckor som tidigare varit okända. Vi har rapporterat våra resultat till utvecklarna. Och de bekräftade att många av dessa okända informationsläckage leder till potentiella sidokanaler.
CacheS REF föreslår en hemlig-augmented abstrakt domän för att spåra programhemligheter och beroenden.
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}