** Application Deadline: May 31, 2007 ** %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % SEVENTH INTERNATIONAL SCHOOL ON % % FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN % % ============================================== % % % % FOSAD 2007 % % http://www.sti.uniurb.it/events/fosad07 % % % % 9-15 September 2007, Bertinoro, Italy % % % % *** Announcement *** % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% General Information ^^^^^^^^^^^^^^^^^^^ 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 the FOSAD school 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. The seventh edition of FOSAD alternates monographic courses of 3 to 6 hours and special sessions dedicated to presentations given by those participants that intend to take advantage of the audience for discussing their current research in the area. Programme: * Ross Anderson (University of Cambridge, UK) API Security and Security Economics * Ulfar Erlingsson (Microsoft Research, USA) Low-level Software Security * Cathy Meadows (Naval Research Laboratory, USA) Application of Formal Methods to Cryptographic Protocol Analysis * Chris Mitchell (Royal Holloway, University of London, UK) Trusted Mobile Platforms * George Necula (University of California, Berkeley, USA) Language-Based Security * Bart Preneel (KU Leuven, Belgium) Cryptographic Algorithm Engineering and Provable Security * Jean-Jacques Quisquater (UCL, Belgium) Embedded Systems Security and Cryptographic Coprocessors Proocedings of the lectures will appear as a volume in the tutorial series of Springer LNCS. The volume will also collect material presented at FOSAD 2006. Location ^^^^^^^^ The school is organized at the University Residential Center of Bertinoro, situated in Bertinoro, a small village on a scenic hill with a wonderful panorama, in between Forli' and Cesena (about 50 miles south-east of Bologna, 15 miles to the Adriatic sea). The cheapest way to travel is by plane to Forli' airport (the secondary airport of Bologna), which is daily connected to, e.g., London and Frankfurt AM through the low fares airline Ryanair. Organisation ^^^^^^^^^^^^ 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) Administrative staff: - Andrea Bandini, director (University Residential Centre of Bertinoro) - Eleonora Campori (University Residential Centre of Bertinoro) Important Dates ^^^^^^^^^^^^^^^ Prospective participants should apply through the web site by May 31, 2007. Notification of accepted applicants will be posted by June 14, 2007. Registration to the school is due by July 24, 2007. Fees ^^^^ Accommodation fee is 350 Euros and covers costs for 6 nights (starting from Sunday 9 September, 2007) in double room, half board (breakfast and lunch, dinner of 9 September 2007 included, lunch of 15 September 2007 excluded). Registration fee is 350 Euros and includes didactical material from the lectures. Grants ^^^^^^ A limited amount of grants will be provided to cover part of the expenses. Please, include your request with the application. Further Information ^^^^^^^^^^^^^^^^^^^ More detailed information available at URL http://www.sti.uniurb.it/events/fosad/ http://www.sti.uniurb.it/events/fosad07 Sponsors ^^^^^^^^ * ARTIST 2 Network of Excellence on Embedded Systems Design * CNR-IIT, Pisa * SENSORIA Software Engineering for Service-Oriented Overlay Computers * University of Bologna Under the auspices of: * EATCS - IT * EEF * ERCIM STM WG * IFIP WG 1.7