16 search results - page 1 / 4 » asian 2009 |
ASIAN
2009
Springer
13 years 5 months ago
2009
Springer
SIGGRAPH
2009
ACM
13 years 11 months ago
2009
ACM
ASIAN
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
ASIAN
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...
ASIAN
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...