8141 search results - page 40 / 1629 » Higher Order Generalization |
116
click to vote
CHES
2009
Springer
16 years 1 months ago
2009
Springer
Differential Power Analysis (DPA) is a powerful side channel key recovery attack that efficiently breaks block ciphers implementations. In software, two main techniques are usually...
91
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
One of the keys to the success of the Thousands of Problems for Theorem Provers (TPTP) problem library and related infrastructure is the consistent use of the TPTP language. This p...
89
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
114
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of dependently-typed terms. First, we show...
121
Voted
CADE
2003
Springer
16 years 1 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...