| 1 | -- | 0 | Fausto Spoto. Preface |
| 3 | -- | 18 | Stephen Gilmore, Matthew Prowse. Proof-carrying Bytecode |
| 19 | -- | 34 | Martin Wildmoser, Amine Chaieb, Tobias Nipkow. Bytecode Analysis for Proof Carrying Code |
| 35 | -- | 52 | Sam Shiel, Ian Bayley. A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine |
| 53 | -- | 73 | Walter Binder, Jarle Hulaas. Java Bytecode Transformations for Efficient, Portable CPU Accounting |
| 75 | -- | 92 | Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou. Flexible Bytecode for Linking in .NET |
| 93 | -- | 107 | Michael Eichberg. BAT::2::XML: XML-based Java Bytecode Representation |
| 109 | -- | 128 | Cyrille Artho, Armin Biere. Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis |
| 129 | -- | 144 | Pierre Crégut, Cuihtlauac Alvarado. Improving the Security of Downloadable Java Applications With Static Analysis |
| 145 | -- | 162 | René Rydhof Hansen, Igor Siveroni. Towards Verification of Well-Formed Transactions in Java Card Bytecode |
| 163 | -- | 182 | Daniel Hedin, David Sands. Timing Aware Information Flow Security for a JavaCard-like Bytecode |
| 183 | -- | 201 | Sigmund Cherem, Radu Rugina. A Verifier for Region-Annotated Java Bytecodes |
| 203 | -- | 220 | Ian Bayley, Sam Shiel. JVM Bytecode Verification Without Dataflow Analysis |
| 221 | -- | 236 | Lucja Kot, Dexter Kozen. Kleene Algebra and Bytecode Verification |
| 237 | -- | 254 | Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci. A Space-Aware Bytecode Verifier for Java Cards |
| 255 | -- | 273 | Fabian Bannwart, Peter Müller. A Program Logic for Bytecode |