Ett antal verk har undersökt med hjälp av manipuleringssäkra maskinvarupolletter som verktyg för att uppnå en mängd olika kryptografiska uppgifter. I synnerhet, Goldreich och Ostrovsky ansåg målet för programvaruskydd via oöverträffat RAM. Goldwasser, Kalai och Rothblum introducerade konceptet med engångsprogram: i ett engångsprogram skickar en ärlig avsändare en uppsättning enkla maskinvarupolletter till en (potentiellt skadlig) mottagare. Hårdvarupolletterna gör det möjligt för mottagaren att utföra ett hemligt program som anges av avsändarens polletter exakt en gång (eller, mer allmänt, upp till en fast t gånger). Ett nyligen påbörjat arbete av Katz undersökte problemet med att uppnå UC-säker beräkning med hjälp av maskinvarupolletter. Motiverade av målet att förena och stärka dessa tidigare föreställningar, anser vi den allmänna frågan om att basera säker beräkning på hårdvara tokens. Vi visar att följande uppgifter, som inte kan realiseras i den "plain" modellen, blir möjliga om parterna tillåts att generera och byta manipuleringssäkra hårdvarupolletter. • Ovillkorlig icke-interaktiv säker beräkning. Vi visar att genom att utbyta enkla stateful hårdvara tokens, kan alla funktioner realiseras med villkorslös säkerhet mot skadliga parter. När det gäller tvåpartsfunktioner f (x, y) som tar sina ingångar från en avsändare och en mottagare och levererar sina utdata till mottagaren, är vårt protokoll icke-interaktivt och kräver endast en enkelriktad kommunikation av enkla statiska polletter från avsändaren till mottagaren. Detta stärker tidigare genomförbarhetsresultat för engångsprogram både genom att ge villkorslös säkerhet och genom att erbjuda allmänt skydd mot skadliga avsändare. Som typiskt är fallet för villkorslöst säkra protokoll, vårt protokoll är i själva verket UCsecure. Detta förbättrar över tidigare arbeten på UC-säker beräkning baserad på hårdvara tokens, som gav beräkningssäkerhet under kryptografiska antaganden. • Interactive Secure beräkning från statslösa polletter baserat på enkelriktade funktioner. Vi visar att statslösa maskinvarupolletter är tillräckliga för att basera allmänna säkra (i själva verket UC-säkra) beräkningar på förekomsten av enkelriktade funktioner. Man kan inte hoppas på säkerhet mot obundna motståndare med statslösa polletter eftersom en obunden motståndare kan fråga den symboliska flera gånger för att "lära" den funktionalitet den innehåller. • Icke-interaktiv säker beräkning från statslösa polletter. Vi anser att problemet med att utforma icke-interaktiv säker beräkning från statslösa polletter för statslösa omedvetna reaktiva funktioner, dvs. reaktiva funktioner som tillåter obegränsade frågor från mottagaren (dessa är de enda funktioner som man kan hoppas att förverkliga icke-interaktivt med statslösa polletter). Genom att bygga på ny teknik från återställningssäker beräkning ger vi ett generellt positivt resultat för statslösa omedvetna reaktiva funktioner under standard kryptografiskt antagande. Detta resultat generaliserar begreppet (obegränsad användning) obfuscation genom att tillhandahålla säkerhet mot en skadlig avsändare, och ger också det första allmänna genomförbarhetsresultatet för program obfuscation med hjälp av statslösa tokens.
Därefter visade REF hur man bygger icke-interaktiv säker beräkning villkorslöst säker mot skadliga parter som använder manipuleringssäkra hårdvarupolletter.
Founding Cryptography on Tamper-Proof Hardware Tokens
{'venue': 'IACR Cryptology ePrint Archive', 'journal': 'IACR Cryptology ePrint Archive', 'mag_field_of_study': ['Computer Science']}