1825 search results - page 291 / 365 » Cryptographic Securities Exchanges |
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...
107
click to vote
HOST
2009
IEEE
15 years 3 months ago
2009
IEEE
A PUF or Physical Unclonable Function is a function that is embodied in a physical structure that consists of many random uncontrollable components which originate from process var...
115
click to vote
APCSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
We examine secure computing paradigms to identify any new architectural challenges for future general-purpose processors. Some essential security functions can be provided by diffe...
CSL
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s sh...
107
click to vote
EUROCRYPT
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper studies the gaps that exist between cryptography as studied in theory, as defined in standards, as implemented by software engineers, and as actually consumed ...