3624 search results - page 536 / 725 » Abstract Algebraic Logic |
141
click to vote
SAMOS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract— This paper explores the resistance of MOS Current Mode Logic (MCML) against Differential Power Analysis (DPA) attacks. Circuits implemented in MCML, in fact, have uniqu...
201
click to vote
TIME
2006
IEEE
16 years 17 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
152
click to vote
APSEC
2005
IEEE
16 years 5 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
151
click to vote
CHES
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
161
click to vote
E4MAS
2005
Springer
16 years 2 days ago
2005
Springer
There is a lot of confusion on what the environment of a multi-agent system (MAS) comprises. Sometimes, researchers refer to the environment as the logical entity of a MAS in which...