1518 search results - page 13 / 304 » Cryptographic Test Correction |
89
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
100
click to vote
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
82
Voted
CHES
2005
Springer
15 years 6 months ago
2005
Springer
We introduce two new attacks: the single-bit template attack and the template-enhanced DPA attack. The single-bit template attack can be used very effectively to classify even sin...
81
Voted
ACSD
2001
IEEE
15 years 4 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...