Samir Genaim, Fausto Spoto
Information Flow Analysis for Java Bytecode
VMCAI, 2005.
@inproceedings{VMCAI-2005-GenaimS, author = "Samir Genaim and Fausto Spoto", booktitle = "{Proceedings of the Sixth International Conference on Verification, Model Checking and Abstract Interpretation}", doi = "10.1007/978-3-540-30579-8_23", isbn = "3-540-24297-X", pages = "346--362", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Information Flow Analysis for Java Bytecode}", volume = 3385, year = 2005, }