420 search results - page 64 / 84 » Efficient Implementation of the Orlandi Protocol |
93
Voted
FORTE
2008
15 years 1 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
104
Voted
ICCCN
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract — Distributed sensor system applications (e.g., wireless sensor networks) have been studied extensively in recent years. Such applications involve resource-limited embed...
127
click to vote
SENSYS
2006
ACM
15 years 6 months ago
2006
ACM
Sensor networks exhibit a unique funneling effect which is a product of the distinctive many-to-one, hop-by-hop traffic pattern found in sensor networks, and results in a signific...
111
click to vote
OSDI
2002
ACM
16 years 24 days ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
130
Voted
CRYPTO
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Let A and B denote cryptographic primitives. A (k, m)robust A-to-B combiner is a construction, which takes m implementations of primitive A as input, and yields an implem...