VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps. - Andrey Sadovykh; Gunnar Widforss; Dragos Truscan; Eduard Paul Enoiu; Wissam Mallouli; Rosa Iglesias; Alessandra Bagnato; Olga Hendel (DATE, 2021)