@inproceedings{Gadyatskaya-ICISS-2011, author = {Olga Gadyatskaya and Eduardo Lostal and Fabio Massacci}, title = {Load Time Security Verification}, booktitle = {Information Systems Security - 7th International Conference, {ICISS} 2011, Kolkata, India, December 15-19, 2011, Procedings}, pages = {250--264}, year = {2011} }