[TYPES/announce] 22nd IEEE Computer Security Foundations Symposium (CSF): Call For Participation

[Scott Stoller]

[CSF is a significant forum for research on language-based, including
type-based, security.]

			Call For Participation

       22nd IEEE Computer Security Foundations Symposium (CSF)
		       Port Jefferson, NY, USA
			   July 8-10, 2009

		 http://www.cs.stonybrook.edu/csf09/

NOTE: Early registration ends on June 3.

The IEEE Computer Security Foundations (CSF) series brings together
researchers in computer science to examine foundational issues in
computer security. Over the past two decades, many seminal papers and
techniques have been presented first at CSF. CiteSeer lists CSF as
38th out of more than 1200 computer science venues (top 3.11%) in
impact based on citation frequency. CiteSeerX lists CSF 2007 as 7th
out of 581 computer science venues (top 1.2%) in impact based on
citation frequency.  CSF is Sponsored by IEEE Computer Society's
Technical Committee on Security and Privacy.

The full program is available on the web.  Highlights include:

  * invited talk by Brendan Eich, Chief Technology Officer, Mozilla Corp.
    Improving JavaScript's Default Security Model with Information Flow

  * panel on Rigorous Security Analysis of Software

  * three co-located workshops: 
    3rd International Workshop on Analysis of Security APIs (ASA 2009)
    5th Workshop on Formal and Computational Cryptography (FCC 2009)
    4th Workshop on Security and Rewriting Techniques (SecReT 2009)

Hope to see you in Port Jefferson!

Scott D. Stoller, General Chair