1957 search results - page 163 / 392 » Embedded Processor Security |
141
click to vote
PKC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Direct anonymous attestation (DAA) is an anonymous authentication scheme adopted by the Trusted Computing Group in its specifications for trusted computing platforms. Th...
166
Voted
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
147
click to vote
CHES
2009
Springer
16 years 5 months ago
2009
Springer
Random delays are a countermeasure against a range of side channel and fault attacks that is often implemented in embedded software. We propose a new method for generation of rando...
141
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
In recent years a movement from distributed systems controlled by users to automatic, autonomous and self-configuring distributed systems is noticeable. Web services is one approa...
149
Voted
PERCOM
2006
ACM
15 years 5 months ago
2006
ACM
Pervasive computing's historical driver applications include environmental monitoring, safety and security, home and office productivity and guided experience of cultural act...