27 Sep 12: Christian Collberg (University of Arizona) - Protecting Distributed Applications Through Software Diversity and Renewability **10.30am start**
|
4 Oct 12: Douglas Stebila (Queensland University of Technology) - On the Security of TLS Renegotiation|
11 Oct 12: No Seminar
18 Oct 12: Pierre-Malo Denielou (RHUL) - Protocol Synthesis and Verification for Secure Sessions|
25 Oct 12: Alfredo Pironti (Microsoft Research - INRIA Joint Centre) - Ideal APIs and Modular Verification for TLS 1.2|
1 Nov 12: Viet Pham (RHUL) - Are We Compromised? Modelling Security Assessment Games|
8 Nov 12: Andy Clark (Primary Key Associates / RHUL) - Can I Trust My Television? The Rise of Untrusted Appliances|
15 Nov 12: Christopher Dearlove (BAE Systems) - Identity Based Encryption and Attribute Based Encryption|
22 Nov 12: Panagiotis Papadimitratos (KTH Royal Institute of Technology) - Secure Wireless Networks|
29 Nov 12: Jason Crampton (RHUL) - On the Parameterized Complexity of the Workflow Satisfiability Problem|
6 Dec 12: Lizzie Coles-Kemp (RHUL) - How the other half lives: security design informed by families separated by prison|
13 Dec 12: Juraj Somorovky (Ruhr-Universitaet Bochum) - Breaking XML Security|