An Abstract Interpretation-Based Data Leakage Static Analysis.

Filip Drobnjakovic, Pavle Subotic, Caterina Urban

Browse the full TASE paper archive.