Programme of LDTA at ETAPS 2010
Saturday, March 27
09:00 - 09:15 Welcome to LDTA 2010
Pierre-Etienne Moreau & Claus Brabrand
09:15 - 10:30 Session 1: Invated Talk
- Jean-Louis Giavitto
- A Domain Specific Language for Complex Natural & Artificial Systems
Simulations
-
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2: Program Analysis
- On the Rôle of Min. Typing Derivations in Type-driven Program Transformation
- Stefan Holdermans & Jurriaan Hage
- GamaSlicer: an Online Laboratory for Program Verification and Analysis
- Daniela da Cruz, Pedro Rangel Henriques, & Jorge Sousa Pinto
- Dependence Condition Graph for Semantics-Based Abstract Program Slicing
- Agostino Cortesi & Raju Halder
-
12:30 - 14:00 Lunch
14:00 - 16:00 SESSION 3: Secure Programs
- 14.00: Modular Plans
for Secure Service Composition
- Gabriele Costa, Pierpaolo Degano and Fabio Martinelli.
- 14.40: Towards
Practical Enforcement Theories
- Nataliia Bielova, Fabio Massacci and Andrea Micheletti.
- 15.20: A Type System for Access Control Views in
Object-Oriented Languages
- Mário Pires and Luís Caires.
-
-
16:00 - 16:30 Coffee
16:30 - 17:50 SESSION 4: Security APIs
- 16.30: Formal Analysis of Key Integrity
in PKCS#11
- Andrea Falcone and Riccardo Focardi.
- 17.10: Secure upgrade of hardware
security modules in bank networks
- Riccardo Focardi and Flaminia Luccio.
- [17.50-18.30: IFIP WG1.6 business meeting (closed meeting)]
ETAPS 2010 |
Top |
Last Update: 2010-02-04