Programme of LDTA at ETAPS 2010

(Language Descriptions, Tools and Applications)

Saturday, March 27

09:00 - 09:15 Welcome to LDTA 2010

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)]