Known Vulnerabilities in spice-server (Red Hat package)