623 search results - page 80 / 125 » Side-Channel Issues for Designing Secure Hardware Implementa... |
127
Voted
INTENV
2010
14 years 10 months ago
2010
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...
116
Voted
CARDIS
2008
Springer
15 years 5 months ago
2008
Springer
This paper introduces the Trusted Execution Module (TEM); a high-level specification for a commodity chip that can execute usersupplied procedures in a trusted environment. The TEM...
129
Voted
SAFECOMP
2010
Springer
15 years 1 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
116
Voted
ICDCIT
2005
Springer
15 years 9 months ago
2005
Springer
— Micro-payment systems have the potential to provide non-intrusive, high-volume and low-cost pay-asyou-use services for a wide variety of web-based applications. We proposed a n...
164
Voted
ATS
2001
IEEE
15 years 7 months ago
2001
IEEE
Testing and diagnosis are important issues in system-onchip (SOC) development, as more and more embedded cores are being integrated into the chips. In this paper we propose a buil...