Wojciech Ozga

According to our database, Wojciech Ozga authored at least 16 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Intel TDX Demystified: A Top-Down Approach.

Pau-Chen Cheng, Wojciech Ozga, Enriquillo Valdez, Salman Ahmed, Zhongshu Gu, Hani Jamjoom, Hubertus Franke, James Bottomley

ACM Comput. Surv., September, 2024

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

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

Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, 2023

Wawel: Architecture for Scalable Attestation of Heterogeneous Virtual Execution Environments.

Wojciech Ozga, Patricia Sagmeister, Tamás Visegrády, Silvio Dragone

Proceedings of the 16th IEEE International Conference on Cloud Computing, 2023

2022

Hardening High-Assurance Security Systems with Trusted Computing.

Wojciech Ozga

PhD thesis, 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

CHORS: hardening high-assurance security systems with trusted computing.

Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

WELES: Policy-driven Runtime Integrity Enforcement of Virtual Machines.

Wojciech Ozga, Do Le Quoc, Christof Fetzer

CoRR, 2021

Perun: Secure Multi-Stakeholder Machine Learning Framework with GPU Support.

Wojciech Ozga, Do Le Quoc, Christof Fetzer

CoRR, 2021

Perun: Confidential Multi-stakeholder Machine Learning Framework with Hardware Acceleration Support.

Wojciech Ozga, Do Le Quoc, Christof Fetzer

Proceedings of the Data and Applications Security and Privacy XXXV, 2021

TRIGLAV: Remote Attestation of the Virtual Machine's Runtime Integrity in Public Clouds.

Wojciech Ozga, Do Le Quoc, Christof Fetzer

Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021

2020

A practical approach for updating an integrity-enforced operating system.

Wojciech Ozga, Do Le Quoc, Christof Fetzer

Proceedings of the Middleware '20: 21st International Middleware Conference, 2020

Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders.

Franz Gregor, Wojciech Ozga, Sébastien Vaucher, Rafael Pires, Do Le Quoc, Sergei Arnautov, André Martin, Valerio Schiavoni, Pascal Felber, Christof Fetzer

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020

T-Lease: a trusted lease primitive for distributed systems.

Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer

Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020

2018

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

Proceedings of the 37th IEEE Symposium on Reliable Distributed Systems, 2018