Formal Methods for the Science of Security Summer School
Summer School Group Photo
Call for Registration
Lecturers | Intended Participants | Venue and Registration | Agenda | Scholarships | Travel Info
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.
The School Director is José Meseguer, (University of Illinois, Urbana-Champaign).
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)
Special Topics Lecturers
Michael Clarkson (George Washington University)
Rohit Chadha (University of Missouri)
Santiago Escobar (Universitat Politècnica de València, Spain)
José Meseguer (University of Illinois, Urbana-Champaign)
Geoffrey Smith (Florida International University)
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, 2013 through Friday, July 26, 2013. The lectures will be held in 2405 Siebel Center, 201 N Goodwin Avenue, Urbana, IL.
Please view the full agenda here.
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.
REGISTRATION IS CLOSED
Non-Students Register Here >
Students Register Here >
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 Illinois Street Residence Hall
- Travel allowance
Map from Illinois Street Residence Hall to Summer School Venue
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: tsiutsillinois [dot] edu
You will be notified if you receive a scholarship.
A block of rooms has been reserved at the Hampton Inn in Urbana, IL. To take advantage of our discounted rates, please contact the Hampton Inn at +1 (217) 337-1100 to make your reservation in the “Formal Methods” room block at the rate of $119/night plus tax, as quickly as possible. This room block and rate will not be available to you after on Sunday, June 30, 2013.
The Champaign Willard Airport (CMI) in Champaign, IL is the most convenient airport to fly in to, located about 15 minutes from the University of Illinois, Urbana-Champaign. Upon arrival, you will need to take a taxi to the hotel. A couple of taxi companies in Champaign-Urbana are as follows:
- Orange Taxi: +1 (217) 367-8888
- Yellow Cab: +1 (217) 355-3553
Besides the possibility of flying in to the Champaign Willard Airport (CMI), you may find when booking your travel that it can be less expensive to fly to/from the Chicago O’Hare International Airport (ORD) in Chicago, IL. There are other means of ground transportation from the Chicago O’Hare International Airport (ORD) to Champaign-Urbana, which may be less expensive than a connecting flight to the Champaign Willard Airport (CMI). Some examples are as follows: