Efter ett kvarts sekel av ogenomtränglig utveckling, har komplexitet-teoretisk kryptografi lyckats hitta rigorösa definitioner av säkerhet och bevisligen säkra system. I komplexitet-teoretisk kryptografi, dock, beräkning har "abstrakteras bort": en motståndare kan attackera en kryptografisk algoritm i huvudsak endast genom att utbyta meddelanden med den. Följaktligen tar denna teori inte hänsyn till den faktiska beräkningens fysiska natur och kan inte skydda sig mot fysiska angrepp som skickligt utnyttjar det informationsläckage som är en naturlig del av det fysiska genomförandet av någon kryptografisk algoritm. Sådana "fysiska observationsattacker" går förbi den imponerande barriär av matematisk säkerhet som hittills rests, och bryter framgångsrikt matematiskt ointagliga system. Den stora praktiskheten och den inneboende tillgängligheten av fysiska attacker hotar själva relevansen av komplexitet-teoretisk säkerhet. Varför resa majestätiska väggar om bekväma undergångar alltid kommer att förbli vidöppna? För att bemöta den nuvarande krisen krävs att de nuvarande matematiska modellerna för kryptografi utvidgas till den fysiska miljön. Vi gör det genom att eliminera den matematiskt behändiga men fysiskt orealistiska separationen mellan motståndaren och kryptografiska beräkningar. Specifikt, • Vi lägger fram fysiskt observerbar kryptografi: en kraftfull, omfattande och exakt modell för att definiera och leverera kryptografisk säkerhet när en motståndare har full (och faktiskt adaptiv) tillgång till all information som läckt från den fysiska utförandet av kryptografiska algoritmer; • Vi visar att några av de grundläggande teorem och intuitioner av traditionell kryptografi inte längre håller i en fysiskt observerbar inställning; och • Vi konstruerar system (såsom pseudorandomgeneratorer och digitala signaturer) som är bevisligen säkra mot alla fysiska-observation attacker.
En mer allmän studie av säkerhet mot passiva attacker gjordes i REF inom en elegant ram av "fysiskt observerbar kryptografi".
Physically Observable Cryptography
{'venue': 'TCC 2004, LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}