Conference programme
The final programme is given below.
Monday 17th December 2012
- 8:20-8:50 Registration (Moore Building Foyer)
- 8:50-10:00 Session 1: Automated analysis (chair: Chris Mitchell)
- 8:50-9:00 Welcome and opening remarks
- 9:00-10:00 Keynote 1: Mark Ryan. Automatic analysis of security properties of the TPM.
- 10:00-10:30 Coffee
- 10:30-12:00 Session 2: Security and trust (chair: Paul Waller)
- 10:30-11:10 Contributed talk 1: Miroslaw Kutylowski, Lukasz Krzywiecki and Przemyslaw Kubiak. Stamp & Extend - Instant but Undeniable Timestamping based on Lazy Trees.
- 11:10-11:50 Contributed talk 2: Peeter Laud. Secure Implementation of Asynchronous Method Calls and Futures.
- 11:50-12:30 Contributed talk 3: Nicolai Kuntze, Carsten Rudolph, Janne Paatero and Peter Racz. Establishing Trust between Nodes in Mobile Ad-Hoc Networks.
- 12:30-13:30 Lunch
- 13:30-15:30 Session 3: Mobile trust (chair: Andrew Martin)
- 13:30-14:30 Keynote 2: Paul Waller. Secure By Default - Assuring and Evolving Platform Security.
- 14:30-15:30 Panel session: Shin'ichiro Matsuo (chair), Charles Brookson, Nicolai Kuntze, Kenny Paterson, and Graeme Proudler. Mobile Device Trust: How do we link social needs, technical requirement, techniques and standards?
- 15:30-16:00 Tea
- 16:00-17:00 Session 4: Security of distributed systems (chair: Mark Ryan)
- 16:00-17:00 Keynote 3: Javier Lopez. Security in the Distributed Internet of Things.
- 19:00-late: Conference dinner (Crosslands Suite)
Tuesday 18th December 2012
- 9:00-11:00 Session 5: Evaluation and analysis (chair: Kenny Paterson)
- 9:00-9:40 Contributed talk 4: Andrea Saracino, Daniele Sgandurra, Marinella Petrocchi, Ilaria Matteucci, Gianluca Dini and Fabio Martinelli. A Multi-Criteria Based Evaluation of Android Applications.
- 9:40-10:20 Contributed talk 5: Stefan Tillich and Marcin Wojcik. Security Analysis of an Open Car Immobilizer Protocol Stack.
- 10:20-11:00 Contributed talk 6: Ernie Brickell, Liqun Chen and Jiangtao Li. A Static Diffie-Hellman Attack on Several Direct Anonymous Attestation Schemes. Winner of the best paper prize, kindly sponsored by Singapore Management University.
- 11:00-11:30 Coffee
- 11:30-12:40 Session 6: Embedded security (chair: Allan Tomlinson)
- 11:30-12:30 Keynote 4: Christof Paar. The Yin and Yang Sides of Embedded Security
- 12:30-12:40 Closing remarks
- 12:40-13:40 Lunch