Computer Security Foundations Symposium
Filed under: Community
|When:||Jun 25, 2012 8:30 am - Jun 29, 2012 5:30 pm|
|Where:||Geological Museum, Pierce Hall and Maxwell Dworkin|
The Computer Security Foundations Symposium will be held at Harvard from Mon June 25th to Wed 27th, with co-located workshops Wed June 27th to Fri 29th. The symposium and workshops examine formal models and theories of security, and techniques for verifying security. This is the 25th year of the conference, and it attracts computer security experts from around the world. Many of the talks may be of interest to those here working on computer security.
Interested members of the Harvard community are welcome to attend the CSF talks and a reception on Tuesday evening (6:45pm-8:30pm) for free. If you'd like to attend, then please let me know in advance, and I'll make sure a name tag is available for you.
More info about CSF and workshops is at http://csf2012.seas.harvard.edu. The program for CSF is available here. The affiliated workshops are:
- Eighth Workshop on Formal and Computational Cryptography (June 27-June 28) http://www.cs.bris.ac.uk/fcc12/
- 6th International Workshop on Analysis of Security APIs (June 28) http://www.lsv.ens-cachan.fr/~steel/asa6/
- 2nd Workshop on Socio-Technical Aspects in Security and Trust (June 29) http://www.stast2012.uni.lu/
|Add to Calendar:||
|More information about this event…|