Antagandet om tillgängligheten av manipuleringssäkra hårdvarupolletter har använts i stor utsträckning i utformningen av kryptografiska primitiver. Katz (Eurocrypt 2007) föreslår dem till exempel som ett alternativ till andra uppställningsantaganden, för att uppnå allmän UC-säker flerpartsberäkning. Å andra sidan har en hel del av den senaste forskningen fokuserat på att skydda säkerheten hos olika kryptografiska primitiver mot fysiska attacker som läckage och manipulering. I detta papper lägger vi fram idén om inbyggd Tamper Resilience (BiTR) för kryptografiska protokoll, fånga idén att protokollet som är inkapslad i en hårdvara token är utformad på ett sådant sätt så att manipulering ger ingen fördel till en motståndare. Vår definition finns inom UC-modellen och kan ses som enande och förlängning av flera tidigare relaterade verk. Vi tillhandahåller en komposition teorem för BiTR säkerhet av protokoll, omöjlighet resultat, samt flera BiTR konstruktioner för specifika kryptografiska protokoll eller manipulering funktion klasser. I synnerhet uppnår vi allmän UC-säker beräkning baserad på en hårdvara token som kan vara mottagliga för affin manipulering attacker. Vi presenterar även BiTR-bevis för identifierings- och signatursystem i samma manipuleringsmodell. Vi observerar därefter att icke-aducerbara koder är tillräckliga (men inte nödvändiga) som tillståndskodningar för att antyda BiTR egenskapen och vi visar nya positiva resultat för deterministiska icke-aducerbara kodningar (i motsats till probabilistiska som tidigare var kända) för olika klasser av manipuleringsfunktioner.
Choi m.fl. REF införde begreppet inbyggd Tamper Resilience, som är en säkerhetsdefinition för protokoll där vissa av parterna kan genomföras av hårdvara tokens (och därmed kan manipuleras).
BiTR: Built-in Tamper Resilience
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}