Programme of WITS

SATURDAY, April 3

10.20
10.30
Welcome
Peter Ryan
10.30
11.30
Invited Talk

Threats against mobility and multihoming - Alice and Bob change address
Tuomas Aura

Systems security
11.30
12.30
Policy Analysis for Security-Enhanced Linux
Beata Sarna-Starosta, Scott Stoller

Method inlining in presence of stack inspection
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari
12.30
14.00
Lunch

Information Flow
14.00
16.00
Structural Non-Interference with Petri Nets
Nadia Busi, Roberto Gorrieri

Control Flow Analysis Can Find New Flaws Too
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Modeling Secure Information Flow with Boolean Functions
Samir Genaim, Roberto Giacobazzi, Isabella Mastroeni

Quantified Interference: Information Theory and Information Flow
David Clark, Sebastian Hunt, Pasquale Malacaria
16.00
16.30
Coffee

Protocol Analysis Techniques
16.30
18.00
On the Relative Soundness of the Free Algebra Model for Public Key Encryption
Christopher Lynch, Catherine Meadows

Towards the rank function verification of protocols that use temporary secrets
Rob Delicata, Steve Schneider

Fine-Grained MSR Specifications for Quantitative Security Analysis
Iliano Cervesato
Evening
Post-Conference Workshops Dinner

SUNDAY, April 4


Specialised protocols
9.00
10.30
Recursive Ping-Pong Protocols
Hans Huttel, Jiri Srba

Static Analysis of Routing Protocols for Ad-Hoc Networks
Sebastian Nanz, Chris Hankin

Formal analysis of multi-party contract signing
Rohit Chadha, Steve Kremer, Andre Scedrov
10.30
11.00
Coffee

Protocol properties and re-use
11.00
12.30
Using Unification For Opacity Properties
Laurent Mazare

On Reusable Proofs for Cryptographic Protocols
Colin Boyd, Yvonne Hitchcock

Unifying Equivalence-Based Definitions of Protocol Security
Anupam Datta, Ralf Kusters, John Mitchell, Ajith Ramanathan, Vitaly Shmatikov
12.30
14.00
Lunch

Formal analysis
14.00
15.00
Formal Verification of Intrusion Detection Systems Using TLA+
Slim Rekhis, Noureddine Boudriga

A Formal Foundation for ODRL
Riccardo Pucella, Vicky Weissman
15.00
16.30
WG 1.7 meeting