1. Prof. Luca Viganò (Verona University, Italy) Dr. Keqin Li (SAP Research, France) Dr. Wissam Mallouli (Montimage, France) Affiliated with ICST 2012 Montreal, Canada April 21, 2012

2.  General Statistics ◦ Submissions22 ◦ Accepted 9 ◦ Acceptance rate 40.9 % ◦ Reviews 65  Authors from 11 countries (France, Canada, India, Italy, Luxembourg, Austria, Germany, Netherlands, Iran, Sweden, USA)  Submissions from academia and industry  5 security testing tools demonstrations

3.  ICST organizers  Streering committee ◦ Alessandro Armando (University of Genova, Italy) ◦ Ana Cavalli (Telecom SudParis, France) ◦ Jorge Cuellar (Siemens, Germany) ◦ Alexander Pretschner (KIT, Germany) ◦ Yves Le Traon (University of Luxembourg, Luxembourg)  Programm committee  Authors and speakers  Invited speaker: Prof Ina Schieferdecker

4. 08:00 - 09:00Registration Session IChairs: Wissam Mallouli and Luca Vigano 09:00 - 10:00 Invited talk Model-Based Fuzz Testing Ina Schieferdecker (Fraunhofer Fokus, Germany) 10:00 - 10:30 Managing Evolution by Orchestrating Requirements and Testing Engineering Processes Federica Paci, Fabio Massacci, Fabrice Bouquet and Stephane Debricon. 10:30 - 11:00Coffee break Session IIChair: Ana Cavalli 11:00 - 11:30 XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing Fabien Duchene, Roland Groz, Jean-Luc Richier and Sanjay Rawat. 11:30 - 12:00 A Taint Based Approach for Smart Fuzzing Sofia Bekrar, Chaouki Bekrar, Roland Groz and Laurent Mounier. 12:00 - 12:30 A Testing Model for Dynamic Malware Analysis Systems Frédéric Massicotte, Mathieu Couture, Hugues Normandin and Frédéric Michaud. 12:30 - 14:00Lunch

5. 12:30 - 14:00Lunch Session IIIChair: Johan Oudinet 14:00 - 14:45 Automatic XACML requests generation for policy testing Antonia Bertolino, Said Daoudagh, Francesca Lonetti and Eda Marchetti. 14:45 - 15:30 Solving Some Modeling Challenges when Testing Rich Internet Aplications for Security Suryakant Choudhary, Mustafa Emre Dincturk, Gregor V. Bochmann, Guy-Vincent Jourdan, Iosif Viorel Onut and Paul Ionescu. 15:30 - 16:00Coffee break Session IVChair: Roland Groz 16:00 - 16:30 SPaCiTE - Web Application Testing Engine Matthias Büchler, Johan Oudinet and Alexander Pretschner. 16:30 - 17:00 Events-Based Security Monitoring Using MMT Tool Bachar Wehbi, Edgardo Montes de Oca and Michel Bourdellès. 17:00 - 17:30 The SmartLogic Tool: Analysing and Testing Smart Card Protocols Gerhard de Koning Gans and Joeri de Ruiter. 17:30The end

6.  Next Sectest 2013 will be held in Luxembourg  Still affiliated to ICST conference  In a better hotel (without noise)