3115 search results - page 171 / 623 » Synthesizing Secure Protocols |
137
click to vote
IACR
2011
14 years 3 months ago
2011
Protocols for generic secure multi-party computation (MPC) come in two forms: they either represent the function being computed as a boolean circuit, or as an arithmetic circuit o...
147
click to vote
ETRICS
2006
15 years 7 months ago
2006
One of the main advantages of peer-to-peer (P2P) systems is their capability to offer replicas of the same content at various locations. This allows to access contents even when so...
124
Voted
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
We propose an approach to support confidentiality for mobile implementations of security-sensitive protocols using Java/JVM. An applet which receives and passes on confidential in...
134
click to vote
TCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
124
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Securing data is becoming a crucial need for most internet-based applications. Whereas the problem of data confidentiality has been widely investigated, the problem of how to ens...