1176 search results - page 195 / 236 » Implicit Abstraction Heuristics |
ER
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a new technique for discovering and representing structural changes between two versions of a directed acyclic graph (DAG). Motivated by the necessity of chang...
102
click to vote
EUROCRYPT
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Lattice-based signature schemes following the GoldreichGoldwasser-Halevi (GGH) design have the unusual property that each signature leaks information on the signer's...
120
click to vote
CHES
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Performance evaluation of the Advanced Encryption Standard candidates has led to intensive study of both hardware and software implementations. However, although plentifu...
125
click to vote
PATMOS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
150
click to vote
TACAS
2000
Springer
15 years 4 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...