504 search results - page 62 / 101 » Observational Logic |
120
click to vote
PODC
1997
ACM
15 years 7 months ago
1997
ACM
Thispaperdescribesanewschemeforguaranteeingthattransactions in a client/server system observe consistent state while they are running. The scheme is presented in conjunction with ...
131
click to vote
DAC
2007
ACM
15 years 7 months ago
2007
ACM
While cryptographic algorithms are usually strong against mathematical attacks, their practical implementation, both in software and in hardware, opens the door to side-channel at...
120
click to vote
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
173
click to vote
CHES
2008
Springer
15 years 5 months ago
2008
Springer
We propose a generic information-theoretic distinguisher for differential side-channel analysis. Our model of side-channel leakage is a refinement of the one given by Standaert et ...
123
click to vote
AIPS
2006
15 years 4 months ago
2006
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...