370 search results - page 13 / 74 » Limits of Constructive Security Proofs |
EUROCRYPT
2004
Springer
14 years 1 months ago
2004
Springer
In trying to provide formal evidence that composition has security increasing properties, we ask if the composition of non-adaptively secure permutation generators necessarily pro...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
CTRSA
2008
Springer
13 years 10 months ago
2008
Springer
We propose two constructions of chosen-ciphertext secure identity-based encryption (IBE) schemes. Our schemes have a security proof in the standard model, yet they offer performan...
ASIACRYPT
2007
Springer
14 years 2 months ago
2007
Springer
We construct a new group signature scheme using bilinear groups. The group signature scheme is practical, both keys and group signatures consist of a constant number of group elem...
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—The emerging biometric cryptography has gained significant interests for key management and privacy protection, but the previously proposed schemes using set metrics for finge...