Home Call for Papers Program Committee Paper Submission Important Dates Accepted Papers Registration Local Organization Contact Us		Workshop on Information and Computer Security ICS 2006 Timisoara, Romania September 29, 2006 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. Submission and Proceedings See http://ics.ieat.ro/submission.html 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.