4305 search results - page 658 / 861 » Analysing Protocol Implementations |
128
click to vote
MICRO
2008
IEEE
15 years 4 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
161
click to vote
JSS
2007
15 years 4 months ago
2007
We present the SEcure communicAtion Library (SEAL), a Linux-based C language application programming interface (API) library that implements secure group key agreement algorithms ...
119
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In this paper, we present the idea of offline count-limited certificates (or clics for short), and show how these can be implemented using minimal trusted hardware functionality a...
145
click to vote
FAST
2009
15 years 2 months ago
2009
HYDRAstor is a scalable, secondary storage solution aimed at the enterprise market. The system consists of a back-end architectured as a grid of storage nodes built around a distr...
154
click to vote
ICNS
2009
IEEE
15 years 2 months ago
2009
IEEE
In the last decade, file sharing systems have generally been dominated by P2P solutions. Whereas e-mail and HTTP have been the killer apps of the earlier Internet, a large percent...