1183 search results - page 73 / 237 » On flow-sensitive security types |
127
click to vote
CNIS
2006
15 years 6 months ago
2006
We present the design and a prototype of a lab course on computer security, the necessity of which arises from the students' need to complement course work by hands-on experi...
135
Voted
IFIP11
2004
15 years 6 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
157
Voted
CRYPTOLOGIA
2006
15 years 4 months ago
2006
In this paper, we describe Whirlpool, which is a block-cipher-based secure hash function. Whirlpool produces a hash code of 512 bits for an input message of maximum length less tha...
123
Voted
IOLTS
2005
IEEE
15 years 10 months ago
2005
IEEE
Selecting a strong cryptographic algorithm makes no sense if the information leaks out of the device through sidechannels. Sensitive information, such as secret keys, can be obtai...
135
Voted
ACNS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The use of biometrics, and fingerprint recognition in particular, for cardholder authentication in smartcard systems is growing in popularity, and such systems are the f...