1737 search results - page 41 / 348 » Hardware Support for Secure Processing in Embedded Systems |
126
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes the design of a smart sensor for label-free detection of DNA hybridization. The sensor is based on a direct electrical transduction principle: it measures imp...
120
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
New emerging embedded system platforms in the realm of highthroughput multimedia, imaging, and signal processing will consist of multiple microprocessors and reconfigurable compon...
137
Voted
SP
2003
IEEE
15 years 8 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
142
Voted
ERSA
2003
15 years 5 months ago
2003
Many embedded applications can benefit from the flexible custom computing opportunities that FPGA technology offers. The Run-Time Reconfiguration (RTR) of the FPGA as an applicati...
ACSD
2008
IEEE
15 years 10 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...