1825 search results - page 87 / 365 » Cryptographic Securities Exchanges |
142
click to vote
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
Adaptive security is based on the observation that the security requirements of a system or service heavily depend on the environment in which they operate and should therefore be...
154
Voted
COCO
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the question of what languages can be decided efficiently with the help of a recursive collisionfinding oracle. Such an oracle can be used to break collisionresistan...
143
Voted
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
132
Voted
EUROCRYPT
2004
Springer
15 years 9 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...
154
Voted
ACISP
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. We propose a new hybrid protocol for cryptographically secure biometric authentication. The main advantages of the proposed protocol over previous solutions can be summar...