Sciweavers

22 search results - page 5 / 5
» Concurrent Games with Tail Objectives
Sort
View
SACRYPT
2004
Springer
143views Cryptology» more  SACRYPT 2004»
14 years 4 months ago
Blockwise Adversarial Model for On-line Ciphers and Symmetric Encryption Schemes
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
Pierre-Alain Fouque, Antoine Joux, Guillaume Poupa...
IANDC
2007
152views more  IANDC 2007»
13 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