default search action

combined dblp search
author search
venue search
publication search

ask others

13. ASIAN 2009: Seoul, Korea

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > ASIAN

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/asian/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/2009
Anupam Datta:
Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5913, Springer 2009, ISBN 978-3-642-10621-7
- view
  authority control:
- export record
  dblp key:
  - conf/asian/Goubault-Larrecq09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/Goubault-Larrecq09
Jean Goubault-Larrecq:
"Logic Wins!". 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/asian/Kobayashi09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/Kobayashi09
Naoki Kobayashi:
Higher-Order Program Verification and Language-Based Security. 17-23
- view
  authority control:
- export record
  dblp key:
  - conf/asian/BursucCD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/BursucCD09
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune:
Deducibility Constraints. 24-38
- view
  authority control:
- export record
  dblp key:
  - conf/asian/GagneLLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/GagneLLS09
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini:
Automated Security Proof for Symmetric Encryption Modes. 39-53
- view
  authority control:
- export record
  dblp key:
  - conf/asian/GrabowskiB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/GrabowskiB09
Robert Grabowski, Lennart Beringer:
Noninterference with Dynamic Security Domains and Policies. 54-68
- view
  authority control:
- export record
  dblp key:
  - conf/asian/Henricksen09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/Henricksen09
Matt Henricksen:
A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers. 69-78
- view
  authority control:
- export record
  dblp key:
  - conf/asian/Kakutani09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/Kakutani09
Yoshihiko Kakutani:
A Logic for Formal Verification of Quantum Programs. 79-93
- view
  authority control:
- export record
  dblp key:
  - conf/asian/KremerMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/KremerMT09
Steve Kremer, Antoine Mercier, Ralf Treinen:
Reducing Equational Theories for the Decision of Static Equivalence. 94-108
- view
  authority control:
- export record
  dblp key:
  - conf/asian/KurtzSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/KurtzSW09
Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke:
A Simulation-Based Treatment of Authenticated Message Exchange. 109-123
- view
  authority control:
- export record
  dblp key:
  - conf/asian/ZouLJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/ZouLJ09
Deqing Zou, Jinjiu Long, Hai Jin:
Trusted Deployment of Virtual Execution Environment in Grid Systems. 124-136
- view
  authority control:
- export record
  dblp key:
  - conf/asian/BaskarRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/BaskarRS09
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh:
A Dolev-Yao Model for Zero Knowledge. 137-146
- view
  authority control:
- export record
  dblp key:
  - conf/asian/ZhangCGY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/ZhangCGY09
Jianhong Zhang, Hua Chen, Shengnan Gao, Yixian Yang:
A Special Proxy Signature Scheme with Multi-warrant. 147-157

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.