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.
EN
We reinvestigate a notion of one-time programs introduced in the CRYPTO 2008 paper by Goldwasser et al. A one-time program is a device containing a program C, with the property that the program C can be executed on at most one input. Goldwasser et al. show how to implement one-time programs on devices equipped with special hardware gadgets called one-time memory tokens. We provide an alternative construction that does not rely on the hardware gadgets. Instead, it is based on the following assumptions: (1) the total amount of data that can leak from the device is bounded, and (2) the total memory on the device (available both to the honest user and to the attacker) is also restricted, which is essentially the model used recently by Dziembowski et al. (TCC 2011, CRYPTO 2011) to construct one-time computable pseudorandom functions and key-evolution schemes.
The introduction in mathematics of concepts obtained as limits of already accepted ones has been a factor of progress. It has been the case with delta-pseudo-function (or delta-distribution). Here, we present what we call "epsilon-distribution", its theory and some applications. In a way epsilon-distribution is the anti-thesis of delta-distribution (or Dirac's delta). Heuristically it is a real pseudo-function epsilon (t) defined on R, "equal to zero everywhere but having an integral over R equal to one". It can be considered to have the limit of certain generative functions. It can also be presented, as usual in distribution theory, as a linear operator e acting on functions u in such a way that it gives < epsilon,u> = m(u), the mean value of u on R. Applications are given in the fields of probability distributions, Schrodinger equation, heat equation, white noise, generalized harmonic analysis and pseudo-random functions.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.