Bohdan Trach

16 papers A* 3A 3Misc 2Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2024 Misc conf
Managing End-to-End Timing Jitters in ROS2 Computation Chains.
RTNS
Hazem Abaza, Debayan Roy, Bohdan Trach, Wanli Chang, Selma Saidi, Antonios Motakis, Wei Ren, Yutao Liu
2023 A* conf
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing.
OSDI
Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, Haibo Chen
2022 — —
Systems Support for Trusted Execution Environments.
Bohdan Trach
2021 J jnl
T-Lease: A Trusted Lease Primitive for Distributed Systems.
CoRR
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
2020 A* conf
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface.
USENIX Security Symposium
Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, Christof Fetzer
2020 — conf
T-Lease: a trusted lease primitive for distributed systems.
SoCC
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
2019 Misc conf
Clemmys: towards secure remote execution in FaaS.
SYSTOR
Bohdan Trach, Oleksii Oleksenko, Franz Gregor, Pramod Bhatotia, Christof Fetzer
2019 J jnl
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface.
CoRR
Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, Christof Fetzer
2018 A conf
Pesos: policy enhanced secure object store.
EuroSys
Robert Krahn, Bohdan Trach, Anjo Vahldiek-Oberwagner, Thomas Knauth, Pramod Bhatotia, Christof Fetzer
2018 — conf
ShieldBox: Secure Middleboxes using Shielded Execution.
SOSR
Bohdan Trach, Alfred Krohmer, Franz Gregor, Sergei Arnautov, Pramod Bhatotia, Christof Fetzer
2018 — conf
Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks.
USENIX ATC
Oleksii Oleksenko, Bohdan Trach, Robert Krahn, Mark Silberstein, Christof Fetzer
2018 J jnl
You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass.
CoRR
Oleksii Oleksenko, Bohdan Trach, Tobias Reiher, Mark Silberstein, Christof Fetzer
2017 A conf
FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue.
IPDPS
Sergei Arnautov, Pascal Felber, Christof Fetzer, Bohdan Trach
2017 A conf
SGXBOUNDS: Memory Safety for Shielded Execution.
EuroSys
Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, Pramod Bhatotia, Pascal Felber, Christof Fetzer
2017 J jnl
Slick: Secure Middleboxes using Shielded Execution.
CoRR
Bohdan Trach, Alfred Krohmer, Sergei Arnautov, Franz Gregor, Pramod Bhatotia, Christof Fetzer
2016 A* conf
SCONE: Secure Linux Containers with Intel SGX.
OSDI
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, Rüdiger Kapitza, Peter R. Pietzuch, Christof Fetzer