1825 search results - page 135 / 365 » Cryptographic Securities Exchanges |
129
click to vote
TCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
159
click to vote
EUROCRYPT
2006
Springer
15 years 7 months ago
2006
Springer
To prove that a secure key-agreement protocol exists one must at least show P = NP. Moreover any proof that the sequential composition of two non-adaptively secure pseudorandom fun...
114
click to vote
ACNS
2010
Springer
15 years 5 months ago
2010
Springer
In this work, we design two-party and multiparty protocols for evaluating multivariate polynomials at participants' inputs with security against a malicious adversary who may ...
100
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
Public administrations show a strong interest in digital signature technology as a mean for secure and authenticated document exchange, hoping it will help reducing paper-based tr...
123
click to vote
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
It is essential for security to be able to isolate mistrusting programs from one another, and to protect the host platform from programs. Isolation is difficult in object-oriented...