Security against space-restricted physical attacks

Rozprawa doktorska wprowadza nowy, zdefiniowany przez autora model obliczeń kryptograficznych, nazwany SBA–modelem. Charakterystyczne ce- chy tego modelu to ograniczona pamieć, wycieki oraz użycie losowej wyroczni. W rozprawie badane sa trzy schematy kryptograficzne: Jednorazowe funkcje pseudolosowe, Schemat ewolucji klucza oraz Funkcje jednorazowe (ang. One- time computable pseudorandom function, Key-evolution schemes oraz One- time programs). Pokazujemy istnienie ww. schematów w SBA–modelu.

The dissertation introduces a new, defined by the author, model of crypto- graphic computation, called SBA–model. Characteristic features of the model are: space boundary, leakage and random oracle. The dissertation studies three schemes (one-time computable pseudorandom functions, key-evolution schemes and one-time programs) of cryptographic primitives. We show exis- tence of these schemes in SBA–model.