405 search results - page 52 / 81 » Practice-Oriented Provable Security |
145
click to vote
ISPEC
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Side-channel attacks are a very powerful cryptanalytic technique. Li and Gu [ProvSec’07] proposed an approach against side-channel attacks, which states that a symmetri...
167
click to vote
PROVSEC
2009
Springer
15 years 11 months ago
2009
Springer
Signcryption is a cryptographic primitive that provides authentication and confidentiality simultaneously in a single logical step. It is often required that multiple senders have...
156
click to vote
ACISP
2008
Springer
15 years 11 months ago
2008
Springer
The standard solution for mutual authentication between human users and servers on the Internet is to execute a TLS handshake during which the server authenticates using a X.509 ce...
170
click to vote
ATC
2007
Springer
15 years 11 months ago
2007
Springer
Group key exchange protocols allow their participants to compute a secret key which can be used to ensure security and privacy for various multi-party applications. The resulting g...
139
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...