2303 search results - page 36 / 461 » The Cryptographic Abstract Machine |
121
Voted
FDTC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Balanced gates are an effective countermeasure against power analysis attacks only if they can be guaranteed to maintain their power balance. Traditional testing and reli...
117
click to vote
ESORICS
2005
Springer
15 years 8 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
112
Voted
IFIP
2009
Springer
15 years 9 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 ...
124
click to vote
ESORICS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
118
click to vote
ACNS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Supervisory Control And Data Acquisition (SCADA) systems are real-time process control systems that are widely deployed throughout critical infrastructure sectors includi...