The SCEAS System
Navigation Menu

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]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002