Linked Presentation: ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions