Workshop on Foundations of Computer Security

June 29, 2013
Tulane University, New Orleans, Louisiana, USA

Affiliated with LICS'13 and CSF'13.

Home | Program | Informal proceedings


9:00-10:00 Invited talk (session chair: Michael Clarkson)

10:00-10:30 Coffee break

10:30-12:30 Information flow (session chair: Cătălin Hriţcu)

12:30-14:00 Lunch

14:00-15:30 Security protocols 1 (session chair: Santiago Zanella Béguelin)

15:30-16:00 Coffee break

16:00-17:00 Security protocols 2 (session chair: Bruno Blanchet)

17:00-17:30 Break

17:30-19:00 Formal and Computational Cryptography

The workshop on Formal and Computational Cryptography (FCC'13) now takes place as an evening session after FCS'13. Here is the program of this session.

Last modified on May 27, 2013.