Publications

48 results at Information and Computation

Universal solutions for temporal data exchange
- - Zehui Cheng
  - Phokion G. Kolaitis
- 2021
- Information and Computation
Verifying the consistency of remote untrusted services with conflict-free operations
- - Christian Cachin
  - Olga Ohrimenko
- 2018
- Information and Computation
Solutions and query rewriting in data exchange
- - Marcelo Arenas
  - Pablo Barceló
  - et al.
- 2013
- Information and Computation
Signal-flow-based analysis of wireless security protocols
- - Çağatay Çapar
  - Dennis Goeckel
  - et al.
- 2013
- Information and Computation
Underapproximation for model-checking based on universal circuits
- - Arie Matsliah
  - Ofer Strichman
- 2010
- Information and Computation
The reactive simulatability (RSIM) framework for asynchronous systems
- - Michael Backes
  - Birgit Pfitzmann
  - et al.
- 2007
- Information and Computation
An information-theoretic model for steganography
- - Christian Cachin
- 2004
- Information and Computation
Fast approximate probabilistically checkable proofs
- - Funda Ergün
  - Ravi Kumar
  - et al.
- 2004
- Information and Computation
Overlap matching
- - Amihood Amir
  - Richard Cole
  - et al.
- 2003
- Information and Computation
How to sign digital streams
- - Rosario Gennaro
  - Pankaj Rohatgi
- 2001
- Information and Computation