PubSub-SGX: Exploiting Trusted Execution Environments for Privacy-Preserving Publish/Subscribe Systems. - Sergei Arnautov; Andrey Brito; Pascal Felber; Christof Fetzer; Franz Gregor; Robert Krahn; Wojciech Ozga; André Martin; Valerio Schiavoni; Fábio Silva; Marcus Tenorio; Nikolaus Thummel (SRDS, 2018)

T-Lease: a trusted lease primitive for distributed systems. - Bohdan Trach; Rasha Faqeh; Oleksii Oleksenko; Wojciech Ozga; Pramod Bhatotia; Christof Fetzer (SoCC, 2020)

Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders. - Franz Gregor; Wojciech Ozga; Sébastien Vaucher; Rafael Pires 001; Do Le Quoc; Sergei Arnautov; André Martin; Valerio Schiavoni; Pascal Felber; Christof Fetzer (DSN, 2020)

A practical approach for updating an integrity-enforced operating system. - Wojciech Ozga; Do Le Quoc; Christof Fetzer (Middleware, 2020)

TRIGLAV: Remote Attestation of the Virtual Machine's Runtime Integrity in Public Clouds. - Wojciech Ozga; Do Le Quoc; Christof Fetzer (CLOUD, 2021)

Perun: Confidential Multi-stakeholder Machine Learning Framework with Hardware Acceleration Support. - Wojciech Ozga; Do Le Quoc; Christof Fetzer (DBSec, 2021)

Perun: Secure Multi-Stakeholder Machine Learning Framework with GPU Support. - Wojciech Ozga; Do Le Quoc; Christof Fetzer (CoRR, 2021)

WELES: Policy-driven Runtime Integrity Enforcement of Virtual Machines. - Wojciech Ozga; Do Le Quoc; Christof Fetzer (CoRR, 2021)

CHORS: hardening high-assurance security systems with trusted computing. - Wojciech Ozga; Rasha Faqeh; Do Le Quoc; Franz Gregor; Silvio Dragone; Christof Fetzer (SAC, 2022)

Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing. - Wojciech Ozga; Rasha Faqeh; Do Le Quoc; Franz Gregor; Silvio Dragone; Christof Fetzer (CoRR, 2022)

Hardening High-Assurance Security Systems with Trusted Computing. - Wojciech Ozga (2022)

Wawel: Architecture for Scalable Attestation of Heterogeneous Virtual Execution Environments. - Wojciech Ozga; Patricia Sagmeister; Tamás Visegrády; Silvio Dragone (CLOUD, 2023)

Towards a Formally Verified Security Monitor for VM-based Confidential Computing. - Wojciech Ozga (HASP@MICRO, 2023)

Scalable Attestation of Virtualized Execution Environments in Hybrid- and Multi-Cloud. - Wojciech Ozga; Patricia Sagmeister; Tamás Visegrády; Silvio Dragone (CoRR, 2023)

Towards a Formally Verified Security Monitor for VM-based Confidential Computing. - Wojciech Ozga; Guerney D. H. Hunt; Michael V. Le; Elaine R. Palmer; Avraham Shinnar (CoRR, 2023)

Intel TDX Demystified: A Top-Down Approach. - Pau-Chen Cheng; Wojciech Ozga; Enriquillo Valdez; Salman Ahmed 001; Zhongshu Gu; Hani Jamjoom; Hubertus Franke; James Bottomley (ACM Comput. Surv., 2024)

Automatic ISA analysis for Secure Context Switching. - Neelu S. Kalani; Thomas Bourgeat; Guerney D. H. Hunt; Wojciech Ozga (CoRR, 2025)

ACE: Confidential Computing for Embedded RISC-V Systems. - Wojciech Ozga; Guerney D. H. Hunt; Michael V. Le; Lennard Gäher; Avraham Shinnar; Elaine R. Palmer; Hani Jamjoom; Silvio Dragone (CoRR, 2025)