The 4th International Workshop on Software Engineering for Secure Systems (SESS'08)

A Trusted Business World

Preliminary program

May 17

Session chair: Mattia Monga, Università degli Studi di Milano, Italy
9:30
Introduction to the workshop
9:45
P. Miseldine. Automated XACML policy reconfiguration for evaluation optimisation
10:30
Coffee break
11:00
A. Bauer and J. Jürjens. Security protocols, properties, and their monitoring.
11:45
V. Horvath and T. Dörges. From security patterns to implementation using Petri nets.
12:30-14:00 Lunch
Session chair: Bart De Win, Katholieke Universiteit Leuven, Belgium
14:00
Invited talk: Thomas Santen (Microsoft EMIC) "Hypervisor verification, separation proofs, and implications for secure systems"
15:00
Discussion
15:30
Coffee break
16:00
B. Braun. SAVE - static analysis on versioning entities.
16:45
Short presentations

May 18

Session chair: Seok-Won Lee, University of North Carolina at Charlotte
9:00
S. Braghin, A. Coen-Porisini, P. Colombo, S. Sicari, and A. Trombetta. Introducing privacy in a hospital information system.
9:45
L. Cavallaro, A. Lanzi, L. Mayer, and M. Monga. LISABETH: Automated content-based signature generator for zero-day polymorphic worms.
10:30
Coffee break
11:00
I. Chowdhury, B. Chan, and M. Zulkernine. Security metrics for source code structures.
11:45
B. Smith, Y. Shin, and L. Williams. Proposing SQL statement coverage metrics.
12:30-14:00 Lunch
14:00
Rump session:
The rump session is intended to be an informal session in which participants give short presentations on recent results, work in progress, and other topics of interest about the relationship between software engineering and security. Presentations that are not purely technical in nature are also possible (and encouraged!).
15:30
Coffee break

Mattia Monga mattia.monga@unimi.it

Valid XHTML 1.0! Last modified: Mon May 12 15:32:16 CEST 2008