Information Trust Institute block of abstract images
Information Trust Institute block of abstract images

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) 

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, 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.


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: tsiutsatillinois [dot] edu

You will be notified if you receive a scholarship.

Travel Information

Hotel Reservations
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: