Conferences in DBLP

Asian Computing Science Conference (ASIAN) (asian)
2009 (conf/asian/2009)

1. 
   "Logic Wins!". [Citation Graph (, )][DBLP]
   
   
2. 
   Higher-Order Program Verification and Language-Based Security. [Citation Graph (, )][DBLP]
   
   
3. 
   Deducibility Constraints. [Citation Graph (, )][DBLP]
   
   
4. 
   Automated Security Proof for Symmetric Encryption Modes. [Citation Graph (, )][DBLP]
   
   
5. 
   Noninterference with Dynamic Security Domains and Policies. [Citation Graph (, )][DBLP]
   
   
6. 
   A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers. [Citation Graph (, )][DBLP]
   
   
7. 
   A Logic for Formal Verification of Quantum Programs. [Citation Graph (, )][DBLP]
   
   
8. 
   Reducing Equational Theories for the Decision of Static Equivalence. [Citation Graph (, )][DBLP]
   
   
9. 
   A Simulation-Based Treatment of Authenticated Message Exchange. [Citation Graph (, )][DBLP]
   
   
10. 
    Trusted Deployment of Virtual Execution Environment in Grid Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    A Dolev-Yao Model for Zero Knowledge. [Citation Graph (, )][DBLP]
    
    
12. 
    A Special Proxy Signature Scheme with Multi-warrant. [Citation Graph (, )][DBLP]