1777 search results - page 224 / 356 » Programming Cryptographic Protocols |
140
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
134
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...
143
click to vote
ASPLOS
2000
ACM
15 years 9 months ago
2000
ACM
We systematically evaluate the performance of five implementations of a single, user-level communication interface. Each implementation makes different architectural assumptions ...
164
click to vote
ISCA
2007
IEEE
15 years 11 months ago
2007
IEEE
Software cache-based side channel attacks are a serious new class of threats for computers. Unlike physical side channel attacks that mostly target embedded cryptographic devices,...
127
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
MundoCore is a communication middleware specifically designed for the requirements of pervasive computing. To address the high degree of heterogeneity of platforms and networking ...