[TYPES/announce] IACR School on Computer-aided Cryptography, June 1-4, 2015, U. Maryland

[Gilles Barthe]

Title: IACR School on Computer-aided Cryptography
Dates: 01-04 June 2015
Place: University of Maryland, College Park, USA
URL: https://www.easycrypt.info/SchoolUMD2015
Registration deadline: there is no deadline, but space is limited

The goal of the school is to provide participants with an overview of
computer-aided cryptography with a special focus on computer-aided
cryptographic proofs using the EasyCrypt (https://www.easycrypt.info)
tool. Lectures discussing the theoretical aspects of computer-aided
cryptography will be complemented by hands-on lab sessions, covering
all aspects of the tool, from the basic aspects of formalizing
cryptographic schemes and properties to advanced code-based proof
techniques. Invited lectures will cover more specialized
computer-aided cryptography techniques and tools.

# Registration

The school is free of charge for participants, but the number of
places is limited. To register, send an email to team at easycrypt.info.
We provide a limited number of travel stipends to America-based
students. Please indicate in your registration if you want to apply
for a stipend.

# Speakers

The school will be delivered by the EasyCrypt team (IMDEA Software
Institute and Inria), and by guest lecturers. Confirmed speakers
include:

François Dupressoir
Benjamin Grégoire
Benedikt Schmidt
Alley Stoughton
Pierre-Yves Strub

# Target Audience

The main objective of the school will be to give participants with
some background in cryptography the necessary knowledge in formal
methods to formalize cryptographic definitions and perform
computer-aided cryptographic proofs in EasyCrypt. Furthermore, the
school can also serve as an introduction to provable security for
participants with a background in formal methods.


# Sponsors

The school is sponsored by the International Association for
Cryptologic Research (IACR), IMDEA Software Institute, Inria, and
University of Maryland.

More details can be found at: https://www.easycrypt.info/SchoolUMD2015