157 search results - page 23 / 32 » A Universally Composable Mix-Net |
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
—The problem of finding efficient workload distribution techniques is becoming increasingly important today for heterogeneous distributed systems where the availability of comp...
SECURWARE
2008
IEEE
14 years 1 months ago
2008
IEEE
—IP networks, composing the Internet, form a central part of the information infrastructure of the modern society. Integrated approaches to the assessment of their dependability ...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— We present a refined, second-generation design, construction and integration, of a compact hyper-redundant snakelike robot, called “Woodstock.” This robot has substantial a...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
In a proxy re-encryption (PRE) scheme, a proxy is given special information that allows it to translate a ciphertext under one key into a ciphertext of the same message under a di...