@CONFERENCE\{IMM2004-03461, author = "R. R. Hansen", title = "A Hardest Attacker for Leaking References", year = "2004", keywords = "static analysis hardest attacker java card bytecode", pages = "310--324", booktitle = "European Symposium on Programming (ESOP)", volume = "2986", series = "Lecture Notes in Computer Science (LNCS)", editor = "David Schmidt", publisher = "Springer Verlag", organization = "", address = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/3461-full.html" }