[p2p-hackers] ESORICS 2005 - Call for Participarion

[Sabrina De Capitani di Vimercati]

[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.


PROGRAM

MONDAY SEPTEMBER 12, 2005

09:15 - 09:30 Welcome and Opening

09:30 - 10:30 Invited talk
Computerized Voting Machines: A View from the Trenches
B. 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, C. Lesniewski-Laas, M. Frans Kaashoek, 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.