FOSAD 2008: International School on Foundations of Security Analysis and Design

[Alessandro Aldini]

=========================================================================

                  (Apologies for multiple copies)

              ** APPLICATION DEADLINE: JUNE 14, 2008 **

       %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
       %                                                   %
       %           EIGHTH INTERNATIONAL SCHOOL ON          %
       %    FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN    %
       %   ==============================================  %
       %                                                   %
       %                    FOSAD 2008                     %
       %       http://www.sti.uniurb.it/events/fosad08     %
       %                                                   %
       %                  25-30 August, 2008               %
       %                   Bertinoro, Italy                %
       %                                                   %
       %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


Security in computer systems and networks emerged as one of the most
challenging research areas. The International School on Foundations of
Security Analysis and Design (FOSAD) has been one of the foremost events
established with the goal of disseminating knowledge in this critical area.
The main aim of FOSAD is to offer a good spectrum of current research in
foundations of security - ranging from programming languages to analysis
of protocols, from cryptographic algorithms to access control policies and
trust management - that can be of help for graduate students and young
researchers from academia or industry that intend to approach the field.

Programme:

* Gilles Barthe           (INRIA Sophia-Antipolis, France)
   Language-based Methods for Mobile Code Security
* David Chadwick          (University of Kent, UK)
   Modular Authorisation Infrastructures and Identity Management
* Bart Jacobs             (Radboud University Nijmegen, The Netherlands)
   Practical Issues in Electronic Voting
* Andrew Ker              (Oxford University, UK)
   Information Hiding and Covert Communication
* Gavin Lowe              (Oxford University, UK)
   Analysis of security protocols
* Kai Rannenberg          (Frankfurt University, Germany)
   Privacy and Multilateral Security in Mobile Communications:
    Protecting Identity and Location Information in Mobile Communications
* Pierangela Samarati     (Università degli Studi di Milano, Italia)
   Privacy and Data Protection
* Steve Zdancewic         (University of Pennsylvania, USA)
   Language-based Security

Participants are also invited to give a contribution by giving a short
presentation (up to 30 min including discussion) of their ongoing work at
the open session of FOSAD. Since the available time is quite limited, the
interested participants should send a talk proposal (title and abstract)
attached with their application form.

Location

The school is organized at the University Residential Center of Bertinoro:

	                   http://www.ceub.it/

Scientific Committee

- Roberto Gorrieri  director  (University of Bologna)
- Martin Abadi      (University of California at Santa Cruz, USA)
- Alessandro Aldini (University "Carlo Bo" of Urbino)
- Sandro Etalle     (Twente University, The Netherlands)
- Javier Lopez      (University of Malaga)
- Fabio Martinelli  (CNR-IIT, Pisa)
- Catherine Meadows (U.S. Naval Research Laboratory)

Important Dates

Prospective participants should apply through the web site by
	June 14, 2008.

Notification of accepted applicants will be posted by
	June 18, 2008.

Registration to the school is due by
	July 31, 2008.

Fees

The fee is 800 Euros and covers registration and accommodation costs for
the period 24-31 August (7 nights) in double room (to be shared with
another participant), half board (breakfast and lunch, dinner of 24
August 2008 included).

Grants

A limited amount of grants will be provided to cover part of the expenses.
Please, include your request with the application.

Satellite Workshop

30-31 August 2008
   3rd VODCA: Views On Designing Complex Architectures
   http://coba.dc.fi.udc.es/vodca/

Further Information

More detailed information available at URL
	http://www.sti.uniurb.it/events/fosad/
	http://www.sti.uniurb.it/events/fosad08

Sponsors

* CNR-IIT, Pisa
* SENSORIA Software Engineering for Service-Oriented Overlay Computers

Under the auspices of:

* EATCS - It
* EEF
* ERCIM STM WG
* IEEE Computer Society - It
* IFIP WG 1.7