Abstrakt. Gennaro m.fl. initierade studien av algoritmisk manipulering bevis (ATP) kryptografi: kryptografisk hårdvara som förblir säker även i närvaro av en motståndare som kan manipulera minnet innehållet i en hårdvara enhet. I detta papper löser vi ett öppet problem som anges i deras papper, och även överväga om en enhet kan säkras mot en motståndare som både kan manipulera med sitt minne och sondera några minnesplatser eller ledningar åt gången. Våra resultat är följande: -Det är omöjligt att förverkliga en säker kryptografisk funktionalitet med ett personligt identifieringsnummer (PIN) där en användare tillåts kompensera för felaktiga på varandra följande försök att ange sin PIN-kod, utan någon total gräns för felaktiga PIN-försök. Motståndare som tillåts både manipulera minnet av enheten och sondera en minnesplats; det är också i huvudsak omöjligt att säkra den om motståndarens kontrollkraft är begränsad till interna ledningar; det är omöjligt att säkra den mot en motståndare vars kontrollkraft är begränsad till interna ledningar, men som också tillåts manipulera med några interna ledningar. -Genom att utöka resultaten av Ishai et al., visar vi att en kryptografisk enhet med en sann källa till slumpmässighet kan motstå manipulering och begränsad undersökning attacker på samma gång.
Liu och Lysyanskaya REF överväger både manipulering och undersökning attacker på minnet.
Algorithmic Tamper-Proof Security under Probing Attacks
{'venue': 'SCN', 'journal': None, 'mag_field_of_study': ['Computer Science']}