15614 search results - page 384 / 3123 » The State of State |
177
click to vote
CRYPTO
2012
Springer
13 years 9 months ago
2012
Springer
It is notoriously difficult to create hardware that is immune from side channel and tampering attacks. A lot of recent literature, therefore, has instead considered algorithmic de...
147
click to vote
CHARME
2005
Springer
16 years 10 days ago
2005
Springer
In this paper, we explore a parallelization of BMC based on state space partitioning. The parallelization is accomplished by executing multiple instances of BMC independently from ...
161
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
The state dependence of leakage can be exploited to obtain modest leakage savings in CMOS circuits. However, one can modify circuits considering state dependence and achieve large...
150
click to vote
APN
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents the ComBack method for explicit state space exploration. The ComBack method extends the well-known hash compaction method such that full coverage of the state s...
