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