Sciweavers

3 search results - page 1 / 1
» Simulation-Based Security with Inexhaustible Interactive Tur...
Sort
View
CSFW
2006
IEEE
15 years 4 months ago
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
Ralf Küsters
IANDC
2007
152views more  IANDC 2007»
14 years 10 months ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
CRYPTO
2008
Springer
98views Cryptology» more  CRYPTO 2008»
14 years 12 months ago
One-Time Programs
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothbl...