FOSAD 1st International School On Foundations Of Security Analysis And Design

• Next FOSAD
• General Information
• How to reach us
• Lecturers and Courses (School Program)
• Course Material
• Organization
• Notice
• Grants
• Accommodation and Registration fees (Application Form)
• Further Information
• Sponsors
• Participants
• Special Event!

Security in computer systems and networks is emerging as one of the most challenging research areas for the future. The main aim of the school is to offer a good spectrum of current research in foundations of security, ranging from programming languages to analysis of protocols, that can be of help for graduate students or young researchers that intend to approach the field. The school covers two weeks (from monday 18 to saturday 30, september 2000) and alternates four lecturers per week on monographic courses of about 6/8 hours each. Saturdays are reserved for presentations given by those participants that intend to take advantage of the audience for discussing their current research in the area. The school is organised at the Centro Residenziale Universitario of the University of Bologna, situated in Bertinoro (see here how to reach Bertinoro), a small village on a scenic hill with a wonderful panorama, between Forlì and Cesena (about 50 miles south-east of Bologna, 15 miles to the Adriatic sea).

The school offers eight main courses, each composed of 3/4 seminars (on different days), each seminar of 2 hours. In alphabetic order, the eight main courses are the following:

• Li Gong (Javasoft - Sun Microsystems, Palo Alto)
       Java Security
• Andrew D. Gordon (Microsoft Research, Cambridge)
       Nominal Calculi for Security and Mobility
• Roberto Gorrieri (University of Bologna) and Riccardo Focardi (University of Venezia)
       Classification of Security Properties
• Joshua Guttman (Mitre, Bedford)
       Security Goals: Packet trajectories and strand spaces
• Peter Ryan (SRI, Cambridge)
       Mathematical Models of Computer Security
• Pierangela Samarati (University of Milano)
       Access Control: Policies, Models, Architectures and Mechanisms
• Paul Syverson (Naval Research Lab, Washington)
       The Logic of Security Protocols
• Moti Yung (CertCo Inc., New York)
       Cryptographic Technology and Protocols in E-Commerce

• Carlo Blundo (University of Salerno)
       Introduction to Cryptography
• Luigia Carlucci Aiello (University of Roma "La Sapienza") and Fabio Massacci (University of Siena)
       Planning, logic programs and security protocols
• Pierpaolo Degano (University of Pisa)
       Control Flow Analysis for Security
• Rocco De Nicola (University of Firenze)
       Testing for spi Processes
• Fausto Giunchiglia (University of Trento)
       Model checking using a logic of belief
• Roberto Segala (University of Bologna)
       Applied Cryptography

A brief curriculum vitae of the speakers and a program of the lectures are available HERE.

At the summerschool course material will be provided (transparencies, pertaining papers). The tutorials will be made available as a volume in the Lecture Notes of Computer Science series published by Springer. During the course, the following book will be distributed:
Li Gong, ``INSIDE JAVA 2 PLATFORM SECURITY: ARCHITECTURE, API DESIGN, AND IMPLEMENTATION'' , Addison-Wesley, 1999.

The scientific school director is Roberto Gorrieri (fosad@cs.unibo.it). The administrative directors are Andrea Bandini and Roberta Poggi (cbert@sun1.spfo.unibo.it).

The school is directed to PhD students and young researchers. In order to be really effective, at most 45 participants will be admitted to the lectures. Prospective participants should send an application to the address below, together with a recommendation letter, by May 15, 2000. Notification of accepted applicants will be posted by June 30, 2000. Registration to the school is due by July 31, 2000.
Applications should be sent to:

A limited amount of grants will be provided to cover part of the expenses. Applications are pending to EU for european young researchers and to UNESCO for prospective participants from less favoured countries. Please, include your request with the application.

Accommodation fee is 750 Euro and covers costs for the whole period in single room, half board (breakfast and lunch). Registration fee is 550 Euro and includes didactical material from the lecturers. Please, fill in the form (ps and text available) and send it to Roberto Gorrieri (by e-mail: fosad@cs.unibo.it) and to Andrea Bandini (by mail or fax). Note that the above form contains also the conditions of payment.

Requests of information on the school, grants and applications should be addressed to fosad@cs.unibo.it ,while information on organisation (address, how to reach us, etc...) can be requested by e-mail to cbert@sun1.spfo.unibo.it.

• European Association of Theoretical Computer Science - Italian Chapter
• International Federation for Information Processing - IFIP WG 1.7
• European Educational Forum

• EU
• UNESCO (Venice Office)
• Ser.In.Ar.
• Università di Bologna
• Fondazione Cassa di Risparmio di Forlì