3 search results - page 1 / 1 » Adaptive and Composable Non-committing Encryptions |
ACISP
2010
Springer
13 years 7 months ago
2010
Springer
ACNS
2004
Springer
13 years 9 months ago
2004
Springer
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting pr...
ISW
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...