10 search results - page 2 / 2 » Sound Computational Interpretation of Formal Encryption with... |
CSFW
2006
IEEE
15 years 5 months 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...
120
click to vote
JOC
2007
14 years 11 months ago
2007
Signcryption is a public key or asymmetric cryptographic method that provides simultaneously both message confidentiality and unforgeability at a lower computational and communica...
CCS
2007
ACM
15 years 5 months ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...
109
Voted
CADE
2005
Springer
15 years 12 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
115
Voted
TAP
2010
Springer
14 years 9 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...