12194 search results - page 311 / 2439 » cans 2010 |
157
click to vote
ENTCS
2000
15 years 6 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
191
click to vote
FSE
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we analyze the security of systems based on modular additions, rotations, and XORs (ARX systems). We provide both theoretical support for their security and practical...
147
Voted
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
183
Voted
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
The main results of this work are new public-key encryption schemes that, under the quadratic residuosity (QR) assumption (or Paillier's decisional composite residuosity (DCR...
203
click to vote
AAMAS
2010
Springer
15 years 6 months ago
2010
Springer
Computational modeling of human belief maintenance and decision-making processes has become increasingly important for a wide range of applications. In this paper, we present a fra...