3 search results - page 1 / 1 » On the Automated Implementation of Time-Based Paxos Using th... |
OPODIS
2010
13 years 2 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
SP
2009
IEEE
13 years 11 months ago
2009
IEEE
—This paper studies and evaluates the extent to which automated compiler techniques can defend against timing-based side-channel attacks on modern x86 processors. We study how mo...
ESTIMEDIA
2006
Springer
13 years 8 months ago
2006
Springer
Nowadays, key characteristics of a processor's instruction set are only exploited in high-level languages by using inline assembly or compiler intrinsics. Inserting intrinsic...