I’m glad to announce that our long-term work (co-authored with Luca Olivieri and Fausto Spoto) about the application of static program analysis to the detection of leakages of sensitive information has been published in the International Journal of Software Engineering and Knowledge Engineering!
This paper merges, consolidates, and extends our previous publications at ITASEC 2018, the ENISA Annual Privacy Forum 2018, and VMCAI 2020. Please give a look and share your thoughts!