The 6th International Workshop on Software Engineering
for Secure Systems (SESS'10)
New horizons for secure systems
Preliminary program
May 2
Session chair: Seok-Won Lee, University of North Carolina at Charlotte, USA
- 9:00
- Introduction to the workshop
- 9:15
- Invited talk by Donald Firesmith, Carnegie
Mellon Software Engineering Institute. Engineering Safety and Security Requirements for Software-Intensive Systems
10:30-11:00 Coffee break
- 11:00
- Markus Luckey, Andrea Baumann, Daniel
Mendez-Fernandez, and Stefan Wagner. Reusing
Security Requirements Using an Extended Quality
Model.
- 11:30
- Shamal Faily and Ivan Flechais. A
Meta-Model for Usable Secure Requirements Engineering
- 12:00
- Yan Wu, Robin Gandhi, and Harvey Siy. Using
Semantic Templates to Study Vulnerabilities Recorded in Large
Software Repositories
12:30-14:00 Lunch
Session chair: Mattia Monga, Università degli Studi di
Milano, Italy
- 14:00
- Sven Lachmund.
Auto-Generating Access Control Policies for Applications by Static Analysis with User Input Recognition
- 14:30
- Jianning Geng, Lin Liu, and Barrett R. Bryant.
Towards a Personalized Privacy Management Framework
(position paper)
- 14:50
- David Byers and Nahid Shahmehri. Unified
modeling of attacks, vulnerabilities and security activities
(position paper)
- 15:10
- Tanveer Mustafa, Michael Drouineaud, and Karsten
Sohr. Towards
Formal Specification and Verification of a Role-Based
Authorization Engine using JML (position
paper)
15:30-16:00 Coffee Break
- 16:00
- Sarah Al-Azzani and Rami Bahsoon. Using
Implied Scenarios In Security Testing
- 16:30
- Angelo Ciampa, Corrado Aaron Visaggio and
Massimiliano Di Penta. A
heuristic-based approach for detecting SQL-injection
vulnerabilities in Web applications (position
paper)
- 16:50
- Andrea Avancini and Mariano Ceccato. Towards
Security Testing with Taint Analysis and Genetic Algorithms
(position paper)
- 17:10
- Poster session and wrap-up
- 19:00
- Workshop dinner at African Café
Mattia Monga mattia.monga@unimi.it
Last modified: Fri Oct 15 14:37:08 CEST 2010