620 search results - page 57 / 124 » On the Leakage-Resilient Key Exchange |
CRYPTO
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we present a practical heuristic attack on the Ko, Lee et al. key exchange protocol introduced at Crypto 2000 [10]. One of the ideas behind our attack is using Dehorn...
ICTAC
2004
Springer
15 years 3 months ago
2004
Springer
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
IWCM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract Image sequence processing techniques are an essential tool for the experimental investigation of dynamical processes such as exchange, growth, and transport processes. The...
CONEXT
2007
ACM
15 years 1 months ago
2007
ACM
Pocket Switched Networks (PSN) is a novel communication paradigm which aims to exploit the opportunistic contacts between mobile devices to exchange data over multiple hops. A key...
113
click to vote
CSFW
1995
IEEE
15 years 1 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...