Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities.

Julien Lepiller, Ruzica Piskac, Martin Schf, Mark Santolucito

Browse the full TACAS paper archive.