| Registration 8:30 - 9:00 |
Registration Registration
|
| Session 1 9:00 - 10:40 |
Welcome
Invited Talk: A Unified Framework for Bytecode
Verification Algorithms
Xavier Leroy, INRIA Rocquencourt & Trusted Logic, France Proof-Carrying Bytecode
S. Gilmore and M. Prowse, The University of Edinburgh, UK Bytecode Analysis for Proof Carrying Bytecode
M. Wildmoser, A. Chaieb and T. Nipkow, Technische Universität München, Germany |
| Coffee |
|
| Session 2 11:00 - 12:30 |
A Translation-Facilitated Comparison between
the Common Language Runtime and the Java Virtual Machine
S. Shiel and I. Bayley, Oxford Brookes University, UK Java Bytecode Transformations for Efficient,
Portable CPU Accounting
W. Binder and J. Hulaas, EPFL, Lausanne, Switzerland Flexible Bytecode for Linking in .NET
A. Buckley, M. Murray, S. Eisenbach and S. Drossopoulou, Imperial College, London, UK BAT2XML, XML-based Java Bytecode Representation
M. Eichberg, Darmstadt University of Technology, Germany |
| Lunch |
|
| Session 3 14:00 - 15:30 |
Subroutine Inlining and Bytecode Abstraction
Simplify Static and Dynamic Analysis
C. Artho, ETH Zürich, Switzerland, and A. Biere, Johannes Kepler University, Linz, Austria Improving the Security of Downloadable Java
Applications with Static Analysis
P. Crégut and C. Alvarado, France Télécom, France. Towards Verification of Well-Formed
Transactions in Java Card Bytecode
R. R. Hansen, Technical University Denmark, Lyngby, Denmark and I. A. Siveroni, Imperial College, London, UK Timing Aware Information Flow Security for a
JavaCard-like Bytecode
D. Hedin and D. Sands, Chalmers, Goteborg, Sweden |
| Coffee |
|
| Session 4 16:00 - 18:00 |
A Verifier for Region-Annotated Java Bytecodes
S. Cherem and R. Rugina, Cornell University, Ithaca, USA JVM Bytecode Verification without Dataflow
Analysis
I. Bayley and S. Shiel, Oxford Brookes University, UK Kleene Algebra and Bytecode Verification
L. Kot and D. Kozen, Cornell University, Ithaca, USA A Space-Aware Bytecode Verifier for Java Cards
C. Bernardeschi, G. Lettieri, L. Martini and P. Masci, Università di Pisa, Italy A Program Logic for Bytecode
F. Bannwart, P. Müller, ETH Zürich, Switzerland |
| Evening 19:30 |
Dinner
Dinner at the Royal Scots Club, Abercrombie Place
Situated in one of Edinburgh's finest Georgian streets the Royal Scots Club was founded in 1919 as a tribute to those who fell in The Great War. The building has an interesting architecture and houses a great variety of Scottish regimental memorabilia. |