Programme

Monday 3rd April

 09.00  Coffee/tea welcome
 10.00  Zheng Li: Welcome and ASTReNet procedures
 10.15  Mark Harman: Introduction
 10.30  Bhavani Thuraisingham: Keynote "Data Mining Applications for Malicious Code Detection"
 11.30  Discussion
 12.00  Coffee/tea break
 12.30  Arun Lakhotia: "A Method for Detecting Obfuscated Calls in Malicious Binaries"
 13.00  Lunch: finger buffet
 14.00  Andrew Brown: "Using high-level security policies to transform unsafe programs into safe programs" 
 15.00  Coffee/tea break
 15.30  Rod Chapman: "how Spark Ada help to address security issues"
 16.30  Samson Abramsky: Keynote "Quantum Computing"
 17.30  Discussion
 18.00  Close
 18.30  Loop dinner
   



Tuesday 4th April

 09.00  Coffee/tea welcome
 10.30  Reind van de Riet: "Guaranteeing Security and Privacy in Cyberspace"
 11.00  Discussion
 11.30  Coffee/tea break
 12.00  Nobuko Yoshida: invited talk "Security Analysis and Controls for Mobile Code via Types"
 13.00  Lunch: finger buffet
 14.00  Jens Krinke:  "Information Flow Control for Java Based on Dependence Graphs"
 14.30  David Clark: "Using information theory to measure information flow"
 15.00  Discussion
 15.30  Coffee/tea break
 16.00  Derek M Jones: "International guidelines for programming language vulnerabilities"
 16.30  Next steps
 17.00  Closing Rewards
 17.15  Wrap up