24th IEEE Computer Security Foundations Symposium June 26, 2011

CSF 2011 focuses on access control,information flow,covert channels,secure protocols,database security,language-based security,authorization and trust,verification techniques,integrity and availability models,and broad discussions concerning the role of formal methods in computer security.

Official Website: http://csf2011.inria.fr/