Bohdan Trach

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 14

Top Topics

Plan Generation

Execution Model

Data Dependencies

Top Venues

USENIX Annual Technical Conference

Publications

Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, Haibo Chen
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. OSDI (2023)
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
T-Lease: A Trusted Lease Primitive for Distributed Systems. CoRR (2021)
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
T-Lease: a trusted lease primitive for distributed systems. SoCC (2020)
Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, Christof Fetzer
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface. USENIX Security Symposium (2020)
Bohdan Trach, Oleksii Oleksenko, Franz Gregor, Pramod Bhatotia, Christof Fetzer
Clemmys: towards secure remote execution in FaaS. SYSTOR (2019)
Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, Christof Fetzer
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface. CoRR (2019)
Oleksii Oleksenko, Bohdan Trach, Tobias Reiher, Mark Silberstein, Christof Fetzer
You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass. CoRR (2018)
Robert Krahn, Bohdan Trach, Anjo Vahldiek-Oberwagner, Thomas Knauth, Pramod Bhatotia, Christof Fetzer
Pesos: policy enhanced secure object store. EuroSys (2018)
Bohdan Trach, Alfred Krohmer, Franz Gregor, Sergei Arnautov, Pramod Bhatotia, Christof Fetzer
ShieldBox: Secure Middleboxes using Shielded Execution. SOSR (2018)
Oleksii Oleksenko, Bohdan Trach, Robert Krahn, Mark Silberstein, Christof Fetzer
Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks. USENIX Annual Technical Conference (2018)
Sergei Arnautov, Pascal Felber, Christof Fetzer, Bohdan Trach
FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue. IPDPS (2017)
Bohdan Trach, Alfred Krohmer, Sergei Arnautov, Franz Gregor, Pramod Bhatotia, Christof Fetzer
Slick: Secure Middleboxes using Shielded Execution. CoRR (2017)
Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, Pramod Bhatotia, Pascal Felber, Christof Fetzer
SGXBOUNDS: Memory Safety for Shielded Execution. EuroSys (2017)
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
SCONE: Secure Linux Containers with Intel SGX. OSDI (2016)