3115 search results - page 219 / 623 » Synthesizing Secure Protocols |
140
click to vote
EUROCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Informally, a public-key steganography protocol allows two parties, who have never met or exchanged a secret, to send hidden messages over a public channel so that an adversary can...
119
click to vote
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, ...
160
click to vote
DEXAW
2008
IEEE
15 years 5 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
141
click to vote
FOCS
2010
IEEE
15 years 2 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
150
click to vote
CSI
2010
15 years 2 months ago
2010
Song [8] proposed very recently a password-based authentication and key establishment protocol using smart cards which attempts to solve some weaknesses found in a previous scheme...