Sciweavers

20831 search results - page 120 / 4167
» Quantum Computation and Information
Sort
View
CSFW
2005
IEEE
14 years 2 months ago
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
Pedro Adão, Gergei Bana, Andre Scedrov
FOCS
2003
IEEE
14 years 2 months ago
Gossip-Based Computation of Aggregate Information
David Kempe, Alin Dobra, Johannes Gehrke
SC
1995
ACM
14 years 13 days ago
Computational Methods for Intelligent Information Access
Michael W. Berry, Susan T. Dumais, Todd A. Letsche