Depex: A Tool for Automated Reasoning About Vulnerabilities in Software Project Dependencies | Publicación