Daniele Sgandurra, Erisa Karafili, Emil Lupu. Formalizing Threat Models for Virtualized Systems. Silvio Ranise; Vipin Swarup. 30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. Springer Internationa
HAL Archives-Ouvertes,
Daniele Sgandurra, Erisa Karafili, Emil Lupu. Formalizing Threat Models for Virtualized Systems.