A principled approach to tracking information flow in the presence of libraries

Hedin, DanielDanielHedinSjösten, AlexanderAlexanderSjöstenPiessens, FrankFrankPiessensSabelfeld, AndreiAndreiSabelfeld2021-10-242021-10-242017https://imec-publications.be/handle/20.500.12860/28478A principled approach to tracking information flow in the presence of librariesProceedings paperhttps://link.springer.com/chapter/10.1007%2F978-3-662-54455-6_3