4340 search results - page 84 / 868 » Formal Methods and Cryptography |
108
Voted
AGTIVE
2003
Springer
15 years 9 months ago
2003
Springer
122
Voted
TSE
2002
15 years 3 months ago
2002
132
Voted
FLAIRS
2006
15 years 5 months ago
2006
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...
138
Voted
FC
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we consider two security notions related to Identity Based Encryption: Key-insulated public key encryption, introduced by Dodis, Katz, Xu and Yung; and Timed-Release ...
146
Voted
CSFW
2011
IEEE
14 years 3 months ago
2011
IEEE
—We propose a much-needed formal definition of security for cryptographic key management APIs. The advantages of our definition are that it is general, intuitive, and applicabl...