Niniejszy dokument stanowi skróconą wersję pracy „One-time Programs with Limited Memory” autorstwa Konrada Durnogi, Stefana Dziembowskiego, Tomasza Kazany oraz Michała Zająca, prezentowanej na konferencji INSCRYPT 2013 [11]. Praca bada pojęcie programów jednorazowych wprowadzonych na konferencji CRYPTO’08 przez Shafi Goldwasser et al. Program jednorazowy to urządzenie zawierające program C oraz posiadające własność, iż może być on wykonany tylko raz, na wybranym wejściu. Goldwasser et al. pokazali jak zaimplementować programy jednorazowe, używając specyficznych rozwiązań sprzętowych, tzw. OTM-ów. (ang. One-Time Memory). Ta praca podaje inną implementację programów jednorazowych, działającą w tzw. modelu obliczeń SBA. Charakterystyczne cechy tego modelu to ograniczona pamięć, wycieki oraz użycie losowej wyroczni.