Abstrakt. Maskering är en välkänd motåtgärd för att skydda block chiffer implementeringar mot sidokanal attacker. Principen är att slumpmässigt dela upp varje känslig mellanvariabel som uppstår i beräkningen i d + 1 aktier, där d kallas maskeringsordning och spelar rollen av en säkerhetsparameter. Även om maskering används i stor utsträckning i praktiken betraktas den ofta som en empirisk lösning och dess effektivitet är sällan bevisad. I detta dokument tillhandahåller vi ett formellt säkerhetsbevis för maskerade implementeringar av blockchiffer. Närmare bestämt bevisar vi att den information som erhålls genom att observera läckaget från en avrättning kan göras försumbar (i maskeringsordningen). För att erhålla detta bundna, antar vi att varje elementär beräkning i genomförandet läcker en bullrig funktion av dess ingång, där mängden buller kan väljas av konstruktören (ännu linjärt avgränsad). Vi antar vidare att det finns en läckagefri komponent som kan uppdatera maskerna av delade variabler. Vårt arbete kan ses som en förlängning av Chari et al. publiceras på CRYPTO 1999 om att kombinera maskering med buller för att motverka sidokanalsattacker.
Liknar REF arbetet av Faust et al. använder även läckagefria komponenter.
Masking against Side-Channel Attacks: A Formal Security Proof
{'venue': 'EUROCRYPT', 'journal': None, 'mag_field_of_study': ['Computer Science']}