![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
To: SEWORLD@cs.colorado.edu
From: Andrei Sabelfeld <andrei@cs.chalmers.se>
Subject: (SEWORLD) FCS05 call for participation
Date: Tue, 17 May 2005 16:54:48 -0600 (MDT)
Call for Participation
Foundations of Computer Security - FCS'05
(affiliated with LICS'05)
Chicago, IL, June 30 - July 1, 2005
[http://www.cs.chalmers.se/~andrei/FCS05/]
Invited Speakers
----------------
Frank Pfenning, Carnegie Mellon University
Constructive Authorization Logics
Jan Vitek, Purdue University
Language-based Intrusion Detection
Preliminary Schedule
--------------------
Thursday, June 30
9:45 FCS Opening
Andrei Sabelfeld, Chalmers
--------Invited talk I
9:50 Language-based Intrusion Detection
Jan Vitek, Purdue University
10:30 Coffee break
--------Language-based Security
11:00 Dynamic Updating of Information-Flow Policies
Michael Hicks, University of Maryland
Stephen Tse, University of Pennsylvania
Boniface Hicks, Pennsylvania State University
Steve Zdancewic, University of Pennsylvania
11:30 Monitoring Information Flow
Gurvan Le Guernic, Universite de Rennes 1
Thomas Jensen, CNRS
12:00 Optimized Enforcement of Security Policies
Mahjoub Langar, Université Laval
Mohamed Mejri, Université Laval
12:30 Lunch
--------Information Flow
14:00 Unifying Confidentiality and Integrity in Downgrading Policies
Peng Li, University of Pennsylvania
Steve Zdancewic, University of Pennsylvania
14:30 Keeping Secrets in Incomplete Databases
Joachim Biskup, University of Dortmund
Torben Weibert, University of Dortmund
15:00 Non-Interference for a Typed Assembly Language
Ricardo Medel, Stevens Institute of Technology
Adriana Compagnoni, Stevens Institute of Technology
Eduardo Bonelli, National University of La Plata
15:30 Coffee break
--------Network Security and Denial-of-Service Attacks
16:00 Trusting the Network
Tom Chothia, Ecole Polytechnique
Dominic Duggan, Stevens Institute of Technology
Ye Wu, Stevens Institute of Technology
16:30 Formal Modeling and Analysis of DoS Using
Probabilistic Rewrite Theories
Gul Agha, University of Illinois at Urbana-Champaign
Michael Greenwald, Lucent Bell Labs
Carl Gunter, University of Illinois at Urbana-Champaign
Sanjeev Khanna, University of Pennsylvania
Jose Meseguer, University of Illinois at Urbana-Champaign
Koushik Sen, University of Illinois at Urbana-Champaign
Prasanna Thati, Carnegie-Mellon University
17:00 End
Friday, July 1
--------Invited talk II
9:50 Constructive Authorization Logics
Frank Pfenning, Carnegie Mellon University
10:30 Coffee break
--------Security Protocols and Decidability Issues
11:00 A Constraint-Based Algorithm for Contract-Signing Protocols
Detlef Kaehler, University of Kiel
Ralf Kuesters, University of Kiel
11:30 Logical Omniscience in the Semantics of BAN Logic
Mika Cohen, KTH
Mads Dam, KTH
12:00 Partial model checking, process algebra operators and
satisfiability procedures for (automatically) enforcing
security properties
Fabio Martinelli, IIT-CNR
Ilaria Matteucci, IIT-CNR
12:30 End
Program committee
-----------------
Michael Backes, IBM Zurich, Switzerland
Gilles Barthe, INRIA, France
Iliano Cervesato, Tulane University, USA
Sabrina De Capitani Di Vimercati, University of Milan, Italy
Joshua Guttman, MITRE, USA
Joe Halpern, Cornell University, USA
Naoki Kobayashi, Tohoku University, Japan
Ralf Kuesters, University of Kiel, Germany
Cathy Meadows, NRL, USA
John Mitchell, Stanford University, USA
Frank Pfenning, Carnegie-Mellon University, USA
Mark Ryan, University of Birmingham, UK
Andrei Sabelfeld (chair), Chalmers, Sweden
Vitaly Shmatikov, University of Texas at Austin, USA
Registration and accommodation
------------------------------
http://lics.cs.depaul.edu/
The LICS early registration deadline is May 20, 2005.
Further information
-------------------
FCS05: http://www.cs.chalmers.se/~andrei/FCS05/
LICS05: http://homepages.inf.ed.ac.uk/als/lics/lics05/
To: SEWORLD@cs.colorado.edu From: Andrei Sabelfeld <andrei@cs.chalmers.se> Subject: (SEWORLD) FCS05: Foundations of Computer Security - call for papers Date: Tue, 25 Jan 2005 11:00:09 -0700 (MST) Foundations of Computer Security - FCS'05 (Affiliated with LICS'05) Chicago, IL, June 30 - July 1, 2005 [http://www.cs.chalmers.se/~andrei/FCS05/] Call for papers Computer security is an established field of Computer Science of both theoretical and practical significance. In recent years, there has been increasing interest in foundations for various methods in computer security, including the formal specification, analysis and design of cryptographic protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, trust management, and the modeling of information flow and its application to confidentiality policies, system composition, and covert channel analysis. The aim of this workshop is to provide a forum for continued activity in this area, to bring computer security researchers in contact with the LICS'05 community, and to give LICS attendees an opportunity to talk to experts in computer security. TOPICS We are interested both in new results in theories of computer security and also in more exploratory presentations that examine open questions and raise fundamental concerns about existing theories. Possible topics include, but are not limited to: Composition issues Authentication Formal specification Availability and denial of service Foundations of verification Covert channels Information flow analysis Cryptographic protocols Language-based security Confidentiality Logic-based design for Integrity and privacy Program transformation Intrusion detection Security models Malicious code Static analysis Mobile code Statistical methods Mutual distrust Trust management Security policies SUBMISSION INSTRUCTIONS See http://www.cs.chalmers.se/~andrei/FCS05/ The proceedings will be distributed to all participants of the workshop and will be made available in electronic format. The authors of the best papers might be invited to submit an extended revision for inclusion in a special issue of a journal. IMPORTANT DATES Submission deadline: March 18, 2005 Notification of acceptance: May 6, 2005 Final papers: May 20, 2005 Workshop: June 30 - July 1, 2005 PROGRAM COMMITTEE Michael Backes (IBM Zurich, Switzerland) Gilles Barthe (INRIA, France) Iliano Cervesato (Tulane University, USA) Sabrina De Capitani di Vimercati (University of Milano, Italy) Joshua Guttman (MITRE Corporation, USA) Joe Halpern (Cornell University, USA) Naoki Kobayashi (Tohoku University, Japan) Ralf Kuesters (University of Kiel, Germany) Cathy Meadows (NRL, USA) John Mitchell (Stanford University, USA) Frank Pfenning (Carnegie-Mellon University, USA) Mark Ryan (University of Birmingham, UK) Andrei Sabelfeld (Chalmers, Sweden - Chair) Vitaly Shmatikov (University of Texas at Austin, USA) WORKSHOP WEB PAGE AND FURTHER INFORMATION FCS05: http://www.cs.chalmers.se/~andrei/FCS05/ LICS05: http://homepages.inf.ed.ac.uk/als/lics/lics05/
To the Ada-Belgium home page.
Last update: 2005/05/26.
Dirk Craeynest