1302 search results - page 50 / 261 » Soundness in the Public-Key Model |
165
click to vote
FORTE
2003
15 years 7 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
142
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
184
click to vote
ASIACRYPT
2009
Springer
16 years 29 days ago
2009
Springer
Multi-party secure computations are general important procedures to compute any function while keeping the security of private inputs. In this work we ask whether preprocessing can...
179
click to vote
CSFW
2006
IEEE
16 years 13 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
169
click to vote
PADL
2005
Springer
15 years 12 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...