VM2: Automated security configuration and testing of virtual machine images. - Maria Spichkova; Biao Li; Lachlan Porter; Luke Mason; Ye Lyu; Yi Weng (KES, 2020)