123
Voted
DSD
2004
IEEE
15 years 7 months ago
2004
IEEE
Filter cache(FC) is effective in achieving energy saving at the expense of some performance degradation. The energy savings, here, comes from repeated execution of tiny loops from...
131
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
Privacy-preserving protocols allow multiple parties with private inputs to perform joint computation while preserving the privacy of their respective inputs. An important cryptogr...
86
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
106
click to vote
CCS
2006
ACM
15 years 7 months ago
2006
ACM
Home medical devices enable individuals to monitor some of their own health information without the need for visits by nurses or trips to medical facilities. This enables more con...
116
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...