Formal Methods for the Science of Security Summer School
July 22-26 2013
Information Trust Institute
University of Illinois at Urbana-Champaign (UIUC)
The use of mathematical models of secure systems, and the machine-assisted verification of their security properties is one essential dimension of advancing the science of security. Such models and verification methods and tools should be effective in real applications and should be demonstrated for many different kinds of systems. For example, to ensure secure information flow in programs, operating systems, and hardware; to verify the security of cryptographic protocols; to verify properties of cryptographic functions; and to defend web-based systems from various security attacks.
The goal of this summer school is to give graduate students and security professionals a comprehensive view of the different research directions in which formal methods are furthering the science of security. The lecturers are world-renowned researchers advancing the use of formal methods in security.
Lecturers
The School Director is Jose Meseguer, (UIUC). The lecturers include:
Gilles Barthe (IMDEA-Software, Spain)
Felix Klaedtke (ETH-Zurich, Switzerland)
Catherine Meadows (Naval Research Laboratory)
Dusko Pavlovic (Royal Holloway, UK)
Fred Schneider (Cornell University)
Graham Steel (INRIA, France)
Intended Participants
The summer school encourages participation of graduate students in computer science, computer engineering, and related disciplines (e.g., mathematics), and of professionals working in security. Graduate students can apply for scholarships (see below).
Venue and Registration
The summer school will be held on the campus of the University of Illinois at Urbana-Champaign Monday, July 22, through Friday, July 26, from 8 a.m. to 5 p.m. day. The lectures will be held in 2405 Siebel Center, 201 N Goodwin Avenue, Urbana, IL.
To facilitate interaction with the lecturers and because of classroom sizes, registration is limited and will be determined on a first-come, first-serve basis. The $250 registration fee covers all materials, lunches and coffee breaks, and a summer school dinner.
Scholarships for Graduate Students
A number of scholarships are available to help graduate students attend the summer school. Depending on their need, graduate students can request a scholarship covering some of the following expenses:
- Registration fee
- Lodging at a UIUC residence hall
- Travel allowance
Graduate students requesting the scholarship, please register as a student, no initial payment required, and provide the following:
- Curriculum vitae
- Two letters of reference submitted by the authors to the following email address: tsiuts@illinois.edu
You will be notified if you receive a scholarship.
