78 search results - page 1 / 16 » The Caernarvon secure embedded operating system |
SIGOPS
2008
13 years 4 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
JDCTA
2010
12 years 11 months ago
2010
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
DAC
2007
ACM
14 years 5 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
SAFECOMP
2007
Springer
13 years 11 months ago
2007
Springer
In present-day electronic systems, application subsystems from different vendors and with different criticality levels are integrated within the same hardware. Hence, encapsulati...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
—Unencrypted data appearing on the processor– memory bus can result in security violations, e.g., allowing attackers to gather keys to financial accounts and personal data. Al...