Sciweavers

Share
16 search results - page 1 / 4
» asian 2009
Sort
View
ASIAN
2009
Springer
284views Algorithms» more  ASIAN 2009»
10 years 4 months ago
A Simulation-Based Treatment of Authenticated Message Exchange
Klaas Ole Kürtz, Henning Schnoor, Thomas Wilk...
SIGGRAPH
2009
ACM
10 years 9 months ago
An innovative game creator upbringing project in the Asian region
Katsunori Yamaji, Motonobu Kawashima, Guanguan Hao...
ASIAN
2009
Springer
252views Algorithms» more  ASIAN 2009»
10 years 4 months ago
"Logic Wins!"
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...
Jean Goubault-Larrecq
ASIAN
2009
Springer
363views Algorithms» more  ASIAN 2009»
10 years 4 months ago
A Logic for Formal Verification of Quantum Programs
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...
Yoshihiko Kakutani
ASIAN
2009
Springer
308views Algorithms» more  ASIAN 2009»
10 years 4 months ago
Automated Security Proof for Symmetric Encryption Modes
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...
Martin Gagné, Pascal Lafourcade, Yassine La...
books