Sciweavers

1401 search results - page 106 / 281
» Randomness in Interactive Proofs
Sort
View
TIT
2010
128views Education» more  TIT 2010»
14 years 4 months ago
Shannon-theoretic limits on noisy compressive sampling
In this paper, we study the number of measurements required to recover a sparse signal in M with L nonzero coefficients from compressed samples in the presence of noise. We conside...
Mehmet Akçakaya, Vahid Tarokh
EUROCRYPT
2011
Springer
14 years 1 months ago
Decentralizing Attribute-Based Encryption
We propose a Multi-Authority Attribute-Based Encryption (ABE) system. In our system, any party can become an authority and there is no requirement for any global coordination othe...
Allison B. Lewko, Brent Waters
MMAS
2012
Springer
13 years 5 months ago
Coupled Wideangle Wave Approximations
In this paper we analyze wave propagation in three-dimensional random media. We consider a source with limited spatial and temporal support that generates spherically diverging wav...
Josselin Garnier, Knut Sølna
IEICET
2006
108views more  IEICET 2006»
14 years 10 months ago
Plaintext Simulatability
We propose a new security class, called plaintext-simulatability, defined over the public-key encryption schemes. The notion of plaintext simulatability (denoted PS) is similar to ...
Eiichiro Fujisaki
VSTTE
2005
Springer
15 years 3 months ago
Tool Integration for Reasoned Programming
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
Andrew Ireland