Abstrakt. Mätningsfel gör det svårt att montera kraftanalysattacker när det bara finns ett enda kraftspår: de statistiska metoder som gör DPA-attacker så framgångsrika är inte tillämpliga eftersom de kräver många (vanligtvis tusentals) spår. Nyligen föreslogs det av [18] att man skulle använda algebraiska metoder för enspårsscenariot och omvandla det viktigaste återhämtningsproblemet till ett problem med Boolesk satisfiability (SAT) och sedan använda en SAT-lösare. Detta tillvägagångssätt är dock ytterst känsligt för buller (som tillåter en felfrekvens på högst under 1 %) och frågan om dess praktiska karaktär förblev öppen. I detta arbete visar vi hur ett enspårigt sidokanalsanalysproblem kan omvandlas till ett pseudobooleskt optimeringsproblem (PBOPT), som tar hänsyn till fel. PBOPT instansen kan sedan lösas med hjälp av en lämplig optimering problemlösare. PBOPT-syntaxen ger en mer uttrycksfull indataspecifikation som möjliggör en mycket naturlig representation av mätfel. Viktigast av allt är att vi visar att vi med hjälp av vårt tillvägagångssätt kan få till stånd framgångsrika och effektiva enspårsattacker även i närvaro av realistiska felfrekvenser på 10-20 procent. Vi kallar vår nya attackmetod Tolerant Algebraic Side-Channel Analysis (TASCA). Vi visar praktiska attacker mot två verkliga chiffer: Keeloq och AES.
I REF betonade författarna att fel i sidokanalsinformation som ska införlivas i ASCA, gör SAT-problemet otillfredsställande; därför rekommenderade de användningen av pseudo-Booleanska optimatorer (PBOPTs) i stället för SAT-lösare för ASCA i närvaro av fel.
Algebraic Side-Channel Analysis in the Presence of Errors
{'venue': 'CHES', 'journal': None, 'mag_field_of_study': ['Computer Science']}