ASIAN'06
11th Annual Asian Computing Science Conference

Motivation

Security problems in computing systems, in particular software, become serious and widespread. We are confronted with an increasing number and variety of attacks by remote computers and malicious software, e.g., computer viruses, bots, worms, etc. Whatever the advances in hardware and software, the amount and consequences of such attacks remains serious. Moreover, the ubiquity of computing systems amounts to their use in dependable and mission-critical systems, failure of which can result in serious damages for our daily life. Most security incidents could be traced back to defects in software, thus secure software is becoming an essential requirement of modern computing. However, the development of secure software is a very difficult task that should be based on theoretical approaches and formal methods, such as logic, type theory, and proof theory, to increase the level of confidence in the design and implementation of security-critical systems. Automated tools and techniques are essential for the analysis and verification of software and systems. We also need processes that effectively and efficiently incorporate rigorous techniques for producing secure software and practitioners that are motivated, disciplined, and proficient in their execution. Security in computing systems often relies on the underlying system-level software, e.g., operating systems, network protocol stacks and middleware. Security mechanisms in these systems play therefore an important role.

Invited Speakers

• Patrick Cousot (Ecole Normale Supereure-Paris, France)
• Li Gong (Windows Live China, Microsoft, China)
• John Mitchell (Stanford University, USA)

and others to be announced. A special session for the memory of Gilles Kahn, INRIA, France (who had taken important initiatives to all the ten (10) past ASIAN CS Conferences) will also be scheduled.

Important Dates