773 search results - page 7 / 155 » On Cryptographic Assumptions and Challenges |
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Knowledge management (KM) has been an increasing focus for both researchers and practitioners for more than a decade. The discussions generally have viewed the goal of KM as the a...
CRYPTO
2009
Springer
14 years 4 months ago
2009
Springer
We present a new methodology for proving security of encryption systems using what we call Dual System Encryption. Our techniques result in fully secure Identity-Based Encryption ...
CTRSA
2010
Springer
14 years 4 months ago
2010
Springer
Typical security models used for proving security of deployed cryptographic primitives do not allow adversaries to rewind or reset honest parties to an earlier state. Thus, it is c...
CRYPTO
2009
Springer
14 years 4 months ago
2009
Springer
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
FASE
2011
Springer
13 years 1 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...