1777 search results - page 118 / 356 » Programming Cryptographic Protocols |
104
click to vote
SPW
2004
Springer
15 years 6 months ago
2004
Springer
This note presents a new way of composing cryptographic primitives which makes some novel combinations possible. For example, one can do threshold decryption using standard block c...
103
Voted
WISA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Cryptographic algorithms are used in a large variety of different applications to ensure security services. It is, thus, very interesting to investigate various implement...
137
click to vote
IANDC
2007
15 years 1 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
129
click to vote
ECOOP
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
100
click to vote
CORR
2009
Springer
14 years 11 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...