siglauvt2.jpg synasc2006.jpg
 Main Menu
Call for papers
ACSys workshop
GridCAD workshop
ICS workshop
MTE workshop
NCA workshop
PN&WM workshop
Invited talks
Important dates
Social programme
Registration form
Contact info
Previous editions

ICS workshop PDF Print

Workshop on Information and Computer Security ICS 2006

Timisoara, Romania

September 29-30, 2006

Workshop home page:

Objective and Topics

The ICS 2006 Workshop, to be held in conjunction with the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), is intended as an international forum for researchers in all areas of information and computer security. Submissions of papers presenting high-quality original research are invited for the following workshop tracks:

  • Formal methods in security

    • Decidability and complexity

    • Language-based security

    • Security models

    • Security protocols

    • Security verification

  • Security policies and services

    • Authentication

    • Anonymity and privacy

    • Electronic voting

    • Information flow

    • Intrusion detection

    • Resource usage control

    • Security for mobile computing

    • Trust management

  • Cryptology - We are particularly interested in work that can help build bridges between cryptology and the other two tracks. Examples of this include, but are not limited to,

    • Protocols that provide services in application fields such as e-government, and that are simple enough (or so precisely defined) as to serve as reasonable targets for formal analysis tools;

    • Cryptographic primitive implementations that can be formally analyzed;

    • Work on combinatorial optimization problems that arise in cryptographic applications and that can be approximately solved using techniques from formal modeling.


See  for details regarding the submission procedure. At least two referees will referee each submission.
Pre-proceedings will be available during the workshop; post-proceedings will be published by Elsevier as a special issue of Electronic Notes in Theoretical Computer Science.


Copyright(C) 2006 - Department of Computer Science, email: