Joint Summer Schools on Cryptography and Principles of Software Security

May 30 - June 1, 2012,
The Pennsylvania State University, University Park, PA



Joint Summer Schools on Cryptography and Principles of Software Security




The Joint Summer Schools on Cryptography and Principles of Software Security were held May 30 to June 1, 2012. Over 75 students, postdocs and researchers from over 30 institutions attended the in-depth tutorials, delivered by 12 outstanding speakers. Read on to learn more about the schools, view the speakers' slides and materials and see the list of attendees and their posters. The summer schools were funded by NSF award 1057312.


Penn State will be hosting two colocated summer schools, May 30 to June 1, 2012, aimed at graduate students doing research on cryptography and computer security.

The Cryptography school will explore recent developments in cryptography. Topics include fully homomorphic encryption, the theory of symmetric encryption and relations between foundational notions such as one-way functions, computational entropy, and zero-knowledge. This school will be hosted by Jonathan Katz (Maryland) and Adam Smith (Penn State).

The Principles of Software Security school will explore the latest in the theory and techniques for both attacking programs and building verifiable defenses into programs. Topics include return-oriented programming, methods for automated retrofitting of legacy code, control-flow integrity, and general-purpose security verification for programs. This school will be hosted by Trent Jaeger (Penn State).

Confirmed Speakers:

Cryptography School
Omer Reingold, Microsoft Research Silicon Valley
Phillip Rogaway, UC Davis
Vinod Vaikuntanathan, University of Toronto
Anna Lysyanskaya, Brown University
abhi shelat, University of Virginia
Rafael Pass, Cornell University
Steven Myers, Indiana University

Principles of Software Security School
Andrew Myers, Cornell University
Vinod Ganapathy, Rutgers University
Hovav Shacham, University of California, San Diego
Nikhil Swamy, Microsoft Research, Redmond
Gang Tan, Lehigh University

Organizers:

Trent Jaeger (Principles of Software Security School)
Adam Smith (Cryptography School)

Local Organization Committee:
Megan Heysham
Divya Muthukumaran
Nirupama Talele
Fang Song
Hayawardh Vijayakumar

Audience:

The schools are directed towards graduate students who are already engaged in research in cryptography and computer security. To apply, students should submit an abstract of a research project in which they are or were recently involved (a description of work in progress is also acceptable). All attendees are expected to present a poster on their research.

In addition to graduate students, the schools have space for a smaller number of more established researchers (postdocs, faculty and industrial researchers).

Format:

The summer school will consist of mini-courses on topics of current research (including, in some cases, a laboratory component) and keynote talks. Meals, poster sessions, social events, as well as some lectures, will be joint between the two schools. The school will run all day Wednesday, May 30 through Friday, June 1, 2012. Attendees are expected to participate in the entire program.

Venue:

The schools will be colocated on Penn State's University Park campus in State College, Pennsylvania. State College is accessible by air (State College Airport -- SCE) and is within a few hours' drive of New York, Washington, Philadelphia, and Pittsburgh.

Costs:

Registration is free for accepted participants. Participants are responsible for their travel and accommodations. A number of travel scholarships are available to help defray a portion of the travel costs.

Application process:

Applications received by April 15 will receive full consideration for funding. Applications will continue to be accepted until at least May 15 based on available space and funds. Applicants will be asked to provide the abstract of a research project (either published or in progress) in which they have been significantly involved. Applications can be made here