11397 search results - page 2248 / 2280 » A Relational Abstraction for Functions |
151
Voted
CHES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we describe two differential fault attack techniques against Advanced Encryption Standard (AES). We propose two models for fault occurrence; we could find a...
299
Voted
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
151
Voted
CSL
2006
Springer
15 years 9 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
139
click to vote
ECOOP
2006
Springer
15 years 9 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
132
Voted
MICCAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Fixation-based surgery is a new technique for achieving difficult corrections in some orthopedic procedures. The method is premised on using a fixation device, such as a ...