Bohdan Trach

According to our database, Bohdan Trach authored at least 13 papers between 2016 and 2023.

Collaborative distances:

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

2023

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

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2022

Systems Support for Trusted Execution Environments.

Bohdan Trach

PhD thesis, 2022

2020

SpecFuzz: Bringing Spectre-type vulnerabilities to the surface.

Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, Christof Fetzer

Proceedings of the 29th USENIX Security Symposium, 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

2019

Clemmys: towards secure remote execution in FaaS.

Bohdan Trach, Oleksii Oleksenko, Franz Gregor, Pramod Bhatotia, Christof Fetzer

Proceedings of the 12th ACM International Conference on Systems and Storage, 2019

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

Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks.

Oleksii Oleksenko, Bohdan Trach, Robert Krahn, Mark Silberstein, Christof Fetzer

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

ShieldBox: Secure Middleboxes using Shielded Execution.

Bohdan Trach, Alfred Krohmer, Franz Gregor, Sergei Arnautov, Pramod Bhatotia, Christof Fetzer

Proceedings of the Symposium on SDN Research, 2018

Pesos: policy enhanced secure object store.

Robert Krahn, Bohdan Trach, Anjo Vahldiek-Oberwagner, Thomas Knauth, Pramod Bhatotia, Christof Fetzer

Proceedings of the Thirteenth EuroSys Conference, 2018

2017

Slick: Secure Middleboxes using Shielded Execution.

Bohdan Trach, Alfred Krohmer, Sergei Arnautov, Franz Gregor, Pramod Bhatotia, Christof Fetzer

CoRR, 2017

FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue.

Sergei Arnautov, Pascal Felber, Christof Fetzer, Bohdan Trach

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

SGXBOUNDS: Memory Safety for Shielded Execution.

Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Proceedings of the Twelfth European Conference on Computer Systems, 2017

2016

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, Rüdiger Kapitza, Peter R. Pietzuch, Christof Fetzer

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016