CREST:Centre for Research on Evolution Search and Testing
Department of Computer Science
King's College London
Strand, London WC2R 2LS

Spring School in Security

Date: Wednesday, 24th March 2010

Venue: Rooms FWB 5.132 (9:30-12:00) and FWB 1.11 (13.30-18.30),
Waterloo Campus, King's College London. Nearest tube station is Waterloo.

Target Audience:
Aimed at MSc/early PhD students.

Cost:
Free, but registration is required. Please register by sending an email to (Kelly)
kalliopi.androutsopoulos@kcl.ac.uk, with your name, affiliation and web page.

Programme

Slides are now available - just click on the talk that you are interested in and you can download the PDF.

Room FWB 5.132
9:30-10:00Coffee
10:00 -11:00Probabilistic Aspects: Checking Security in an Imperfect World
Chris Hankin, Imperial College London
11:00 -12:00Verifying Cryptographic Protocols in Applied Pi Calculus
Mark Ryan, University of Birmingham
12:00 -13:00Lunch
Room FWB 1.11
13:00 -14:00Digital Forensics, Anti-Forensics, and Meta-Forensics
Richard Overill, King's College London
14:00 -15:00Bugs, Vulnerabilities and Information Flow Control
Jens Krinke, King's College London
15:00 -15:30Break
15:30 -16:30Information Theory to Measure Leakage of Confidential Data
Pasquale Malacaria, Queen Mary University of London
16:30-17:30Access Control
Maribel Fernandez, King's College London

PDF version of programme

Registered Attendees

  1. Chris Hankin, Imperial College London, UK
  2. Mark Ryan, University of Birmingham, UK
  3. Richard Overill, King's College London, UK
  4. Maribel Fernandez, King's College London, UK
  5. Pasquale Malacaria, Queen Mary University of London, UK
  6. Jens Krinke, CREST, King's College London, UK
  7. David Clark, CREST, King's College London, UK
  8. Kelly Androutsopoulos, CREST, King's College London, UK
  9. Eli Katsiri, Birkbeck College, UK
  10. Laurence Tratt, Middlesex University, UK
  11. Peng Du, PhD student, Birkbeck College, UK
  12. Ammar Lilamwala, PhD student, Queen Mary University of London, UK
  13. Kaichun Chang, PhD student, King's College London, UK
  14. Vytautas Kancleris, University College of London, UK
  15. Oliver Shepherd, Queen Mary University of London, UK
  16. Jian Ren, CREST, King's College London, UK
  17. Andreas Hadjidemetriou, University College of London, UK
  18. Nikolaos Bartsotas, MSc Information Security, University College of London, UK
  19. Mark Schellhase, PhD student, Queen Mary University of London, UK
  20. David Soud, University of Kent, UK
  21. Andrew Vaughan Jones, PhD student, Imperial College London, UK
  22. Salaheddin Darwish, PhD student, Department of Information Systems and Computing, Brunel University, UK
  23. Alex Matei, MSc student, University College of London, UK
  24. Murtala Abdulrahman, MSc student, King's College London, UK
  25. Yi Fang, MSc student, King's College London, UK
  26. Sesha Sailaja Vaddadi, MSc student, King's College London, UK
  27. Padmaja Sasidharan, MSc student, King's College London, UK
  28. Arpit Gupta, MSc student, King's College London, UK
  29. Rashsul Hussain, MSc student, King's College London, UK
  30. Hamidreza Soltani, MSc student, King's College London, UK
  31. Jules Konan, MSc student, King's College London, UK
  32. Ibrahim Abdullahi, MSc student, Birkbeck College, UK
  33. Mahdi Aiash, PhD student, Middlesex University, UK
  34. Artemis Parvizi, PhD student, Middlesex University, UK
  35. Fawad Jamshed, PhD student, Middlesex University, UK
  36. Stella Charmpa, MSc student, King's College London, UK
  37. Rajat Sawhney, MSc student, King's College London, UK
  38. Lin Cao, King's College London, UK
  39. Frank Appiah, MSc student, King's College London, UK
  40. Pawel Chwalinski, PhD student, Middlesex University, UK
  41. Anh Tuan Le, PhD student, Middlesex University, UK
  42. Stephanie Bayer, PhD student, University College of London, UK
  43. Syed Islam, CREST, King's College London, UK
  44. Mahdi Ali, MSc student, King's College London, UK
  45. Lucas Anastasiou, MSc student, University College of London, UK
  46. Trevor Chung, MSc student, King's College London, UK
  47. Jeetu Lakshmanan, MSc student, King's College London, UK
  48. John Atkinson, University of York, UK
  49. Edd Barret, University of Kent, UK
  50. Petra Selmer, Birkbeck College, UK
  51. Nadir Khawaja, MSc student, King's College London, UK
  52. Arthorn Luangsodsai, PhD student, University of Essex, UK
  53. Shun Rao, MSc student, King's College London, UK
Organised by David Clark