Mon 26 Oct 2015 14:10 - 15:00 at Edenburg - Session III Chair(s): Aharon Abadi, Lori Flynn, Jeff Gray

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Session IIIMobileDeLi at Edenburg
Chair(s): Aharon Abadi IBM Research, Lori Flynn CERT, Jeff Gray University of Alabama, USA
13:30
20m
Talk
Automatic Code Generation for Cross-platform, Multi-Device Mobile Apps: Some Reflections from an Industrial Experience
MobileDeLi
Eric Umuhoza Politecnico di Milano, Italy, Hamza Ed-Douibi Mines Nantes, Marco Brambilla Politecnico di Milano, Italy, Jordi Cabot ICREA, Spain, Aldo Bongio WebRatio S.r.l
13:50
20m
Talk
An Interactive Approach to Mobile App Verification
MobileDeLi
Osbert Bastani Stanford University, Alex Aiken Stanford University, Saswat Anand Stanford University
14:10
50m
Other
Panel: “Mobile security: methods and challenges during development”
MobileDeLi
Marco Pistoia IBM Research, USA, Patrick Tague Carnegie Mellon University, Jan S. Rellermeyer IBM Research, Garret Wassermann CERT Coordination Center