135 search results - page 6 / 27 » Adaptive Security of Symbolic Encryption |
CRYPTO
2012
Springer
12 years 7 days ago
2012
Springer
We construct a functional encryption scheme secure against an a-priori bounded polynomial number of collusions for the class of all polynomial-size circuits. Our constructions req...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
ICDE
2007
IEEE
14 years 4 months ago
2007
IEEE
In a secure mediated information system, confidentiality is one of the main concerns when transmitting data from datasources to clients via a mediator. We present three approache...
ASIACRYPT
2009
Springer
14 years 4 months ago
2009
Springer
We present a new construction of non-committing encryption schemes. Unlike the previous constructions of Canetti et al. (STOC ’96) and of Damg˚ard and Nielsen (Crypto ’00), ou...
CRYPTO
2009
Springer
14 years 4 months ago
2009
Springer
