1825 search results - page 34 / 365 » Cryptographic Securities Exchanges |
120
Voted
IMC
2007
ACM
15 years 4 months ago
2007
ACM
The Secure Socket Layer (SSL) and its variant, Transport Layer Security (TLS), are used toward ensuring server security. In this paper, we characterize the cryptographic strength ...
126
Voted
KIVS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Secure Content Addressable Network (SCAN) is an architecture for service discovery in service centric sensor networks that enables dynamic service composition. This paper...
118
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We show attacks on several cryptographic schemes that have recently been proposed for achieving various security goals in sensor networks. Roughly speaking, these schemes all use ...
147
Voted
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
107
click to vote
EUROCRYPT
2010
Springer
15 years 7 months ago
2010
Springer
We initiate a provable-security treatment of cryptographic agility. A primitive (for example PRFs, authenticated encryption schemes or digital signatures) is agile when multiple, ...