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 |