Formalizing Threat Models for Virtualized Systems.

Daniele Sgandurra, Erisa Karafili, Emil Lupu

Browse the full DBSEC paper archive.