405 search results - page 52 / 81 » Practice-Oriented Provable Security |
ISPEC
2009
Springer
14 years 2 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...
PROVSEC
2009
Springer
14 years 2 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...
ACISP
2008
Springer
14 years 1 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...
ATC
2007
Springer
14 years 1 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...
CSFW
2005
IEEE
14 years 1 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...