ASIAN

Keyphrases

Publications

2009

Robert Grabowski, Lennart Beringer
Noninterference with Dynamic Security Domains and Policies. ASIAN (2009)
Matt Henricksen
A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers. ASIAN (2009)
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
A Dolev-Yao Model for Zero Knowledge. ASIAN (2009)
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
Deducibility Constraints. ASIAN (2009)
Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke
A Simulation-Based Treatment of Authenticated Message Exchange. ASIAN (2009)
Jean Goubault-Larrecq
"Logic Wins!". ASIAN (2009)
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
Automated Security Proof for Symmetric Encryption Modes. ASIAN (2009)
Jianhong Zhang, Hua Chen, Shengnan Gao, Yixian Yang
A Special Proxy Signature Scheme with Multi-warrant. ASIAN (2009)
Steve Kremer, Antoine Mercier, Ralf Treinen
Reducing Equational Theories for the Decision of Static Equivalence. ASIAN (2009)
Naoki Kobayashi
Higher-Order Program Verification and Language-Based Security. ASIAN (2009)
Deqing Zou, Jinjiu Long, Hai Jin
Trusted Deployment of Virtual Execution Environment in Grid Systems. ASIAN (2009)
Yoshihiko Kakutani
A Logic for Formal Verification of Quantum Programs. ASIAN (2009)

volume 5913, 2009

Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings ASIAN 5913 (2009)

volume 4435, 2008

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers ASIAN 4435 (2008)

2007

volume 4846, 2007

Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings ASIAN 4846 (2007)

2006