@misc{indiciae9e13c83d07a3, title = {Abstract Interpretation-Based Data Leakage Static Analysis}, author = {Filip Drobnjaković and Pavle Subotić and Caterina Urban}, year = {2024}, url = {https://arxiv.org/abs/2211.16073}, note = {Source identifier: 2211.16073} }