1825 search results - page 24 / 365 » Cryptographic Securities Exchanges |
145
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
114
Voted
TCC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We propose a semantically-secure public-key encryption scheme whose security is polynomialtime equivalent to the hardness of solving random instances of the subset sum pr...
113
Voted
FDTC
2006
Springer
15 years 6 months ago
2006
Springer
With physical attacks threatening the security of current cryptographic schemes, no security policy can be developed without taking into account the physical nature of computation....
142
Voted
TCC
2005
Springer
15 years 8 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
115
click to vote
CCS
2004
ACM
15 years 8 months ago
2004
ACM
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...