SCONE: Secure Linux Containers with Intel SGX. - Sergei Arnautov; Bohdan Trach; Franz Gregor; Thomas Knauth; André Martin; Christian Priebe; Joshua Lind; Divya Muthukumaran; Dan O'Keeffe; Mark Stillwell; David Goltzsche; David M. Eyers; et al. (OSDI, 2016)

SGXBOUNDS: Memory Safety for Shielded Execution. - Dmitrii Kuvaiskii; Oleksii Oleksenko; Sergei Arnautov; Bohdan Trach; Pramod Bhatotia; Pascal Felber; Christof Fetzer (EuroSys, 2017)

FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue. - Sergei Arnautov; Pascal Felber; Christof Fetzer; Bohdan Trach (IPDPS, 2017)

Slick: Secure Middleboxes using Shielded Execution. - Bohdan Trach; Alfred Krohmer; Sergei Arnautov; Franz Gregor; Pramod Bhatotia; Christof Fetzer (CoRR, 2017)

Pesos: policy enhanced secure object store. - Robert Krahn; Bohdan Trach; Anjo Vahldiek-Oberwagner; Thomas Knauth; Pramod Bhatotia; Christof Fetzer (EuroSys, 2018)

ShieldBox: Secure Middleboxes using Shielded Execution. - Bohdan Trach; Alfred Krohmer; Franz Gregor; Sergei Arnautov; Pramod Bhatotia; Christof Fetzer (SOSR, 2018)

Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks. - Oleksii Oleksenko; Bohdan Trach; Robert Krahn; Mark Silberstein; Christof Fetzer (USENIX ATC, 2018)

You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass. - Oleksii Oleksenko; Bohdan Trach; Tobias Reiher; Mark Silberstein; Christof Fetzer (CoRR, 2018)

Clemmys: towards secure remote execution in FaaS. - Bohdan Trach; Oleksii Oleksenko; Franz Gregor; Pramod Bhatotia; Christof Fetzer (SYSTOR, 2019)

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

SpecFuzz: Bringing Spectre-type vulnerabilities to the surface. - Oleksii Oleksenko; Bohdan Trach; Mark Silberstein; Christof Fetzer (USENIX Security Symposium, 2020)

Systems Support for Trusted Execution Environments. - Bohdan Trach (2022)

BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. - Jiawei Wang; Bohdan Trach; Ming Fu; Diogo Behrens; Jonathan Schwender; Yutao Liu; Jitang Lei; Viktor Vafeiadis; Hermann Härtig; Haibo Chen 001 (OSDI, 2023)

Managing End-to-End Timing Jitters in ROS2 Computation Chains. - Hazem Abaza; Debayan Roy; Bohdan Trach; Wanli Chang 001; Selma Saidi; Antonios Motakis; Wei Ren 002; Yutao Liu (RTNS, 2024)