272 search results - page 55 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
CCS
2008
ACM
13 years 7 months ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...
ICS
2010
Tsinghua U.
14 years 2 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...