The Sixth ASTReNet Workshop
Source Code Analysis and Manipulation for Security
The Sixth ASTReNet Workshop was held on on 3rd-4th April 2006 in Goodenough College.
Keynote Speaker
Dr. Bhavani Thuraisingham
An outstanding keynote about Data Mining Applications for Malicious Code Detection was given by
Dr. Bhavani Thuraisingham
from the University of Texas at Dallas on 3rd April.
| Biography | Abstract | Slides |
Samson Abramsky
An outstanding keynote about Quantum Computing was given by Samson Abramsky
from Oxford University Computing Laboratory on 3rd April
| Slides |
Invited Speaker
Roberto Giacobazzi
Nobuko Yoshida
Registration(closed)
Attendee (34)
Samson AbramskyOxford University Computing Laboratory, UKSteve BarkerKings College London, UK
Haider BilalLondon South Bank University, UK
David BinkleyLoyola College, USA
Sue BlackLondon South Bank University, UK
Andrew BrownUniversity of Birmingham, UK
Rod ChapmanPraxis HIS, UK
Han ChenQueen Mary University of London, UK
Alex ChurchContext Information Security Ltd. UK
David ClarkKings College London, UK
Simon ClowContext Information Security Ltd. UK
Sebastian DanicicGoldsmiths College, UK
Paul DouglasUniversity of Westminster, UK
Peter FaganVizuri Limited
Deji FatiregunKing's College London
Mark HarmanKing's College London, UK
Les Hatton Kingston University, London
Rob HieronsBrunel University, UK
John Howroyd@UK PLC
Tao JiangKing's College London,UK
Derek M JonesKnowledge Software Limited, UK
Jens KrinkeFernUniversitat in Hagen, Germany
Arun LakhotiaUniversity of Louisiana at Lafayette, USA
Zheng LiKing's College London, UK
Kiarash MahdaviKing's College London, UK
Pasquale MalacariaQueen Mary University of London
Nick Moffat Systems Assurance Group, QinetiQ Ltd, UK
Karen OsmondImperial College
Reind van de RietVrije Universiteit amsterdam, Netherlands
Jeremy SingerUniversity of Manchester, UK
Bhavani ThuraisinghamThe University of Texas at Dallas, USA
Laurence TrattKing's College London, UK
Brian Wichmann UK
Nobuko YoshidaImperial College London , UK
Programme( TXT file version)
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" | Abstract | Slides |
- 11.30 Discussion
- 12.00 Coffee/tea break
- 12.30 Arun Lakhotia: "A Method for Detecting Obfuscated Calls in Malicious Binaries" | Abstract |
- 13.00 Lunch: finger buffet
- 14.00 Andrew Brown: "Using high-level security policies to transform unsafe programs into safe programs" | Abstract | Slides | Joint work with Mark Ryan
- 15.00 Coffee/tea break
- 15.30 Rod Chapman: "how Spark Ada help to address security issues" | Slides |
- 16.30 Samson Abramsky Keynote Quantum Computing | Slides |
- 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" | Slides |
- 11.00 Discussion
- 11.30 Coffee/tea break
- 12.00 Nobuko Yoshida Invited Talk: "Security Analysis and Controls for Mobile Code via Types" | Abstract |
- 13.00 Lunch: finger buffet
- 14.00 Jens Krinke: "Information Flow Control for Java Based on Dependence Graphs" | Abstract | Slides | Reference |
- 14.30 David Clark: "Using information theory to measure information flow"
| Abstract | Slides | - 15.00 Discussion
- 15.30 Coffee/tea break
- 16.00 Derek M Jones: "International guidelines for programming language vulnerabilities" | Reference | Slides |
- 16.30 Next steps
- 17.00 Closing Rewards
- 17.15 Wrap up
Location
The Churchill Room at Goodenough College