1957 search results - page 55 / 392 » Embedded Processor Security |
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
ISCA
2007
IEEE
15 years 4 months ago
2007
IEEE
Virtualization has become much more important throughout the computer industry both to improve security and to support multiple workloads on the same hardware with effective isola...
101
click to vote
MICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
Due to the widespread software piracy and virus attacks, significant efforts have been made to improve security for computer systems. For stand-alone computers, a key observation...
109
click to vote
CSFW
2012
IEEE
13 years 8 days ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...
IBMRD
2007
14 years 9 months ago
2007
Current data protection technologies such as those based on public‐key encryption and broadcast encryption focus on the secure control and prote...