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
Last modified: Mon May 12 15:32:16 CEST 2008