Wojciech Ozga

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 20

Top Topics

Execution Environment

Operating System

Virtual Machine

Top Venues

Publications

Pau-Chen Cheng, Wojciech Ozga, Enriquillo Valdez, Salman Ahmed, Zhongshu Gu, Hani Jamjoom, Hubertus Franke, James Bottomley
Intel TDX Demystified: A Top-Down Approach. ACM Comput. Surv. 56 (9) (2024)
Wojciech Ozga, Patricia Sagmeister, Tamás Visegrády, Silvio Dragone
Wawel: Architecture for Scalable Attestation of Heterogeneous Virtual Execution Environments. CLOUD (2023)
Wojciech Ozga
Towards a Formally Verified Security Monitor for VM-based Confidential Computing. HASP@MICRO (2023)
Pau-Chen Cheng, Wojciech Ozga, Enriquillo Valdez, Salman Ahmed, Zhongshu Gu, Hani Jamjoom, Hubertus Franke, James Bottomley
Intel TDX Demystified: A Top-Down Approach. CoRR (2023)
Wojciech Ozga, Patricia Sagmeister, Tamás Visegrády, Silvio Dragone
Scalable Attestation of Virtualized Execution Environments in Hybrid- and Multi-Cloud. CoRR (2023)
Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le, Elaine R. Palmer, Avraham Shinnar
Towards a Formally Verified Security Monitor for VM-based Confidential Computing. CoRR (2023)
Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer
CHORS: hardening high-assurance security systems with trusted computing. SAC (2022)
Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer
Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing. CoRR (2022)
Wojciech Ozga, Do Le Quoc, Christof Fetzer
WELES: Policy-driven Runtime Integrity Enforcement of Virtual Machines. CoRR (2021)
Wojciech Ozga, Do Le Quoc, Christof Fetzer
Perun: Confidential Multi-stakeholder Machine Learning Framework with Hardware Acceleration Support. DBSec (2021)
Wojciech Ozga, Do Le Quoc, Christof Fetzer
TRIGLAV: Remote Attestation of the Virtual Machine's Runtime Integrity in Public Clouds. CLOUD (2021)
Wojciech Ozga, Do Le Quoc, Christof Fetzer
Perun: Secure Multi-Stakeholder Machine Learning Framework with GPU Support. CoRR (2021)
Wojciech Ozga, Do Le Quoc, Christof Fetzer
A practical approach for updating an integrity-enforced operating system. CoRR (2021)
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
T-Lease: A Trusted Lease Primitive for Distributed Systems. CoRR (2021)
Wojciech Ozga, Do Le Quoc, Christof Fetzer
A practical approach for updating an integrity-enforced operating system. Middleware (2020)
Franz Gregor, Wojciech Ozga, Sébastien Vaucher, Rafael Pires, Do Le Quoc, Sergei Arnautov, André Martin, Valerio Schiavoni, Pascal Felber, Christof Fetzer
Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders. CoRR (2020)
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
T-Lease: a trusted lease primitive for distributed systems. SoCC (2020)
Franz Gregor, Wojciech Ozga, Sébastien Vaucher, Rafael Pires, Do Le Quoc, Sergei Arnautov, André Martin, Valerio Schiavoni, Pascal Felber, Christof Fetzer
Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders. DSN (2020)
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
PubSub-SGX: Exploiting Trusted Execution Environments for Privacy-Preserving Publish/Subscribe Systems. CoRR (2019)
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
PubSub-SGX: Exploiting Trusted Execution Environments for Privacy-Preserving Publish/Subscribe Systems. SRDS (2018)