Summer School on Software Security

[Application Deadline: March 14th. Apply Now!]


Call for Participation


Summer School on Software Security


June 17-25, 2004
University of Oregon
Eugene, Oregon USA




            http://www.cs.uoregon.edu/activities/summerschool/summer04/
e-mail: summer-school-security@cs.uoregon.edu


Program
-------


This Summer School will cover current research in security of software
systems ranging from foundational materials on security principles,
logic and type systems to advanced techniques for ensuring mobile code
security using program analyses, proof-carrying code and program
monitoring tools.


Material will be presented at a tutorial level that will help graduate
students and researchers from academia or industry understand the
critical issues and open problems confronting the field. The course is
open to anyone interested. Prerequisites are an elementary knowledge
of logic and mathematics that is usually covered in undergraduate
classes on discrete mathematics. Some knowledge of programming
languages at the level provided by an undergraduate survey course will
also be expected. Our primary target group is PhD students. We also
expect attendance by faculty members who would like to conduct
research on this topic or introduce new courses at their universities.


The program consists of more than thirty 80-minute lectures presented
by internationally recognized leaders in programming languages and
security research. Topics include:


Access Control and Logic
- Martin Abadi, University of California, Santa Cruz


Program Monitoring
- Ulfar Erlingsson, Microsoft Research, Silicon Valley


Security and Society
- Ed Felten, Princeton University


Security via Type Qualifiers
- Jeff Foster, University of Maryland


Typed Assembly Language
- Neal Glew, Intel Research


Network Security Architectures
- Carl Gunter, University of Pennsylvania


Proof-Carrying Code
- Peter Lee, Carnegie Mellon University


Information-Flow Security
- Francois Pottier, INRIA


Type Systems
- David Walker, Princeton University


Language-Based Security
- Steve Zdancewic, University of Pennsylvania


Venue
-----


The summer school will be held at the University of Oregon, located in
the southern Willamette Valley city of Eugene, close to some of the
world's most spectacular beaches, mountains, lakes and forests. On
Sunday, June 20, students will have the option of participating in a
group activity in Oregon's countryside.




Housing
-------


The school will provide on-campus housing and meals. To share a room
with another student attending the school, the cost is $410.00 (USD)
per person. Housing rates are based on check-in Wednesday, June 16 and
check-out before noon on Saturday, June 26. Some single rooms may be
available for an additional fee of $120.00 (USD). If you'd like a
single room, please indicate your choice and we will try to
accommodate you on a first-come/first-served basis.




Registration
------------


The cost for registration is $175.00 (USD) for graduate students, and
$300.00 (USD) for other participants. There are a limited number of
grants available to fund part of the cost of student participation.


Additional information about the program, registration, venue, and
housing options is available on the web site. Or, you may request
more information by e-mailing summer-school-security@cs.uoregon.edu.




Organizers
----------


Organizing committee: David Walker and Steve Zdancewic


Scientific committee:
    Andrew Appel (Princeton University),
    Zena M. Ariola (University of Oregon),
    Andrew Gordon (Microsoft Research, Cambridge),
    Carl Gunter (University of Pennsylvania),
    Catherine Meadows (Naval Research Laboratory),
    Francois Pottier (INRIA),
    Frank Pfenning (Carnegie Mellon University).


Sponsored by: ACM SIGPLAN

Return to the comp.compilers page.
Search the comp.compilers archives again.