2513 search results - page 492 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
197
click to vote
MICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
A virtual instruction set architecture (V-ISA) implemented via a processor-specific software translation layer can provide great flexibility to processor designers. Recent examp...
161
click to vote
CC
2009
Springer
15 years 10 months ago
2009
Springer
Single-assignment languages with copy semantics have a very simple and approachable programming model. A na¨ıve implementation of the copy semantics that copies the result of eve...
129
click to vote
DCC
2009
IEEE
16 years 6 months ago
2009
IEEE
Kernel machines are a popular class of machine learning algorithms that achieve state of the art accuracies on many real-life classification problems. Kernel perceptrons are among...
142
click to vote
NDSS
2007
IEEE
16 years 5 days ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
184
click to vote
EMSOFT
2007
Springer
16 years 1 days ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...