Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] 22nd IEEE Computer Security Foundations Sympos...


view this post on Zulip Email Gateway (Aug 18 2022 at 13:29):

From: Scott Stoller <stoller@cs.sunysb.edu>
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


Last updated: May 03 2024 at 08:18 UTC