1210 search results - page 166 / 242 » Secure Logic Synthesis |
147
click to vote
DAC
1994
ACM
15 years 7 months ago
1994
ACM
In this paper, we revisit the classical problem of functional decomposition [1, 2] that arises so often in logic synthesis. One basic problem that has remained largely unaddressed...
103
click to vote
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
: There has been an abundance of research within the last couple of decades in the area of multilevel secure (MLS) databases. Recent work in this field deals with the processing of...
133
click to vote
CHES
2005
Springer
15 years 9 months ago
2005
Springer
During the last years, several masking schemes for AES have been proposed to secure hardware implementations against DPA attacks. In order to investigate the effectiveness of thes...
127
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...
126
Voted
AAAI
1998
15 years 5 months ago
1998
This paper discusses the design and implementation of ESSPL, an expert system which generates security plans for alarm systems (Figure 1). Security planning is the task of determi...