623 search results - page 62 / 125 » Side-Channel Issues for Designing Secure Hardware Implementa... |
104
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Trust management represents today a promising approach for supporting access control in open environments. While several approaches have been proposed for trust management and sig...
165
click to vote
MA
2000
Springer
15 years 7 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
113
click to vote
CCR
2007
15 years 4 months ago
2007
Rural Internet kiosks in developing regions can cost-effectively provide communication and e-governance services to the poorest sections of society. A variety of technical and no...
145
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present a full-system reconfigurable computing simulation platform intended to promote innovative new research in reconfigurable computing. Currently, reconfigur...
130
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...