7th Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode 2012

Tallinn, Estonia, 31 March 2012


Marieke Huisman (Ed.)

The complete volume in a single file

Cover and Title Pages  
Preface and Table of Contents 4 pp
Using Bytecode Transformation to Retrofit Fine-Grained Security Policies on Unmodified Android [Abstract]
Jeff Foster
1 pp
Quantitative Analysis of Java/.Net Like Programs to Understand Heap Memory Requirements [Abstract]
Diego Garbervetsky
1 pp
Bytecode and Safety-Critical Systems: Friend or Foe? [Abstract]
James Hunt
1 pp
Conditional Termination of Loops over Arrays
Elvira Albert, Samir Genaim and Guillermo Román-Díez
9 pp
BCT: A Translator from MSIL to Boogie
Michael Barnett and Shaz Qadeer
8 pp
Log-Based Lazy Monitoring of OSGi Bundles
Giulio Caravagna, Gabriele Costa, Giovanni Pardini and Luca Wiegand
9 pp
Embeddable Security-by-Contract Verifier for Java Card
Olga Gadyatskaya, Eduardo Lostal and Fabio Massacci
8 pp
Study, Formalisation, and Analysis of Dalvik Bytecode
Henrik Søndberg Karlsen, Erik Ramsgaard Wognsen, Mads Christian Olesen and René Rydhof Hansen
11 pp

These proceedings of Bytecode 2012 are final, there will be no further version.

This USB memory stick was produced by the Institute of Cybernetics at Tallinn University of Technology.