Documents Informatique [inria-00441354, v1] Software security patches -- Audit, deployment and hot update Loriant, Nicolas Et Al