2945 search results - page 25 / 589 » Designing and Implementing Malicious Hardware |
137
Voted
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...
123
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
131
click to vote
ISSS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...
143
click to vote
NDSS
1998
IEEE
15 years 8 months ago
1998
IEEE
Systems that support mobile agents are increasingly being used on the global Internet. Security concerns dealing with the protection of the execution environment from malicious ag...
131
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...