4305 search results - page 649 / 861 » Analysing Protocol Implementations |
133
click to vote
TOPLAS
2010
15 years 2 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
148
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--We present a methodology for implementing digital signal processing (DSP) operations such as filtering with biomolecular reactions. From a DSP specification, we demonstra...
153
click to vote
USS
2010
15 years 2 months ago
2010
Current Electronic Toll Pricing (ETP) implementations rely on on-board units sending fine-grained location data to the service provider. We present , a privacy-preserving ETP syst...
169
click to vote
PERCOM
2011
ACM
14 years 11 months ago
2011
ACM
We describe AnonySense, a privacy-aware system for realizing pervasive applications based on collaborative, opportunistic sensing by personal mobile devices. AnonySense allows app...
152
click to vote
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract – There is a growing interest in physical layer security. Recent work has demonstrated that wireless devices can generate a shared secret key by exploiting variations in...