[Apologies if you receive multiple copies of this message]
CALL FOR PARTICIPATION ESORICS 2005 10TH EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY Milan, Italy - September 12-14, 2005
http://esorics05.dti.unimi.it/
AIMS AND SCOPE Organized in a series of European countries, ESORICS is confirmed as the European research event in computer security. The symposium started in 1990 and has been held on alternate years in different European countries and attracts an international audience from both the academic and industrial communities. From 2002 it has been held yearly. The Symposium has established itself as one of the premiere, international gatherings on information assurance.
PRELIMINARY PROGRAM
Monday September 12, 2005 -------------------------
09:15 - 09:30 Welcome and Opening
09:30 - 10:30 Invited talk -- Barbara Simons
10:30 - 11:00 Coffee break
11:00 - 12:30 Session 1: Access control XML Access Control with Policy Matching Tree N. Qi, M. Kudo
Semantic Access Control Model: A Formal Specification M. I. Yague, M. Gallardo, A. Mana
A Generic XACML Based Declarative Authorization Scheme for Java R. Gupta, M. Bhide
12:30 - 14:00 Lunch
14:00 - 15:30 Session 2: Advanced Authorization Specifications Specification and Validation of Authorisation Constraints Using UML and OCL K. Sohr, G. Ahn
Unified Index for Mobile Object Data and Authorizations V. Atluri, Q. Guo
On Obligations M. Hilty, D. Basin, A. Pretschner
15:30 - 16:00 Coffe break
16:00 - 17:30 Session 3: Cryptographic Schemes A Practical, Voter-Verifiable Election Scheme D. Chaum, P.Y.A. Ryan, S.Schneider
Machine-Checked Security Proofs of Cryptographic Signature Schemes S. Tarento
Sanitizable Signatures G. Ateniese, D. Chou, B. de Medeiros, G. Tsudik
Tuesday September 13, 2005 --------------------------
09:00 - 10:30 Session 4: Cryptographic Protocols Limits of the Cryptographic Realization of Dolev-Yao-style XOR M. Backes, B. Pfitzmann
Secure Implementation of Cryptographic Protocols: A Case Study Of Mutual Distrust A. Askarov, A. Sabelfeld
Augmented oblivious Polynomial Evaluation Protocol and Its Applications H. Zhu
10:30 - 11:00 Coffee break
11:00 - 12:30 Session 5: Intrusion detection Using Attack Trees to Identify Malicious Attacks from Authorized Insiders I. Ray, N. Poolsapassit
An Efficient and Unified Approach to Correlating, Hypothesizing, and Predicting Network Intrusion Alerts L. Wang, A. Liu, S. Jajodia
Towards a Theory of Intrusion Detection G. Di Crescenzo, A. Ghosh, R. Talpade
12:30 - 14:00 Lunch
14:00 - 15:30 Session 6: Network security On Scalability and Modularisation in the Modelling of Network Security Systems J. de Albuquerque, H. Krumm, P. de Geus
Sybil resistant DHT routing G. Danezis, R. Anderson
Botnet Tracking: Exploring a Root-Cause Methodology to Prevent Distributed Denial-of-Service Attacks F.C. Freiling, T. Holz, G. Wicherski
15:30 - 16:00 Coffee break
16:00 - 17:30 Session 7: Information Flow and Formal Security Properties Quantifying Probabilistic Information Flow in Computational Reactive Systems M. Backes
Enforcing Non-safety Security Policies with Program Monitors J. Ligatti, L. Bauer, D. Walker
Soundness of Formal Encryption in the Presence of Key-Cycles P. Adao, G. Bana, J. Herzog, A. Scedrov
Wednesday September 14, 2005 ----------------------------
09:00 - 10:30 Session 8: Privacy and Data Protection Privacy Preserving Clustering S. Jha, L. Kruger, P. McDaniel
Abstractions Preserving Parameter Confidentiality S. Gurgenas, P. Ochsenschlaeger, C. Rudolpah
Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation F. Massacci, J. Mylopoulos, N. Zannone
10:30 - 11:00 Coffee break
11:00 - 12:30 Session 9: Security for protocols and devices Security Notions for Disk Encryption K. Gjosteen
Local View Attack on Anonymous Communication M. Gogolewski, M. Klonowski, M. Kutylowski
Browser Model for Security Analysis of Browser-Based Protocols T. Gross, B. Pfitzmann, A. Sadeghi
REGISTRATION Online registration is available on the conference web page: http://esorics05.dti.unimi.it/registration.php
ADDITIONAL INFORMATION On the web pages (http://esorics05.dti.unimi.it), you will find information about the program, the conference hotel and venue, and some travel and tourist information. We look forward to seeing you in Milan at ESORICS 2005.