Wawel: Architecture for Scalable Attestation of Heterogeneous Virtual Execution EnvironmentsWojciech OzgaPatricia Sagmeisteret al.2023CLOUD 2023
TRIGLAV: Remote Attestation of the Virtual Machine's Runtime Integrity in Public CloudsWojciech OzgaDo Le Quocet al.2021CLOUD 2021
Towards a Formally Verified Security Monitor for VM-based Confidential ComputingWojciech OzgaGuerney Huntet al.2023MICRO 2023
Perun: Confidential Multi-Stakeholder Machine Learning Framework with Hardware Acceleration SupportWojciech OzgaDo Le Quoc et al.2021IFIP DBSec 2021
CHORS: Hardening High-Assurance Security Systems with Trusted ComputingWojciech OzgaRasha Faqehet al.2022SAC 2022