1777 search results - page 158 / 356 » Programming Cryptographic Protocols |
102
click to vote
CCS
2001
ACM
15 years 5 months ago
2001
ACM
We present a mathematical construct which provides a cryptographic protocol to verifiably shuffle a sequence of k modular integers, and discuss its application to secure, universa...
144
click to vote
STOC
2010
ACM
15 years 4 months ago
2010
ACM
We study the problem of "privacy amplification": key agreement between two parties who both know a weak secret w, such as a password. (Such a setting is ubiquitous on th...
108
click to vote
CRYPTO
2010
Springer
15 years 2 months ago
2010
Springer
Secure two-party authentication and key exchange are fundamental problems. Traditionally, the parties authenticate each other by means of their identities, using a public-key infr...
118
click to vote
JUCS
2007
15 years 1 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
103
click to vote
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...