Differential Static Analysis for Detecting Malicious Updates to Open Source Packages. - Fabian Niklas Froh; Matías Federico Gobbi; Johannes Kinder (SCORED@CCS, 2023)