@inproceedings {288650, author = {Jiawei Wang and Bohdan Trach and Ming Fu and Diogo Behrens and Jonathan Schwender and Yutao Liu and Jitang Lei and Viktor Vafeiadis and Hermann H{\"a}rtig and Haibo Chen}, title = {{BWoS}: Formally Verified Block-based Work Stealing for Parallel Processing}, booktitle = {17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)}, year = {2023}, isbn = {978-1-939133-34-2}, address = {Boston, MA}, pages = {833--850}, url = {https://www.usenix.org/conference/osdi23/presentation/wang-jiawei}, publisher = {USENIX Association}, month = jul } @inproceedings {251530, author = {Oleksii Oleksenko and Bohdan Trach and Mark Silberstein and Christof Fetzer}, title = {{SpecFuzz}: Bringing Spectre-type vulnerabilities to the surface}, booktitle = {29th USENIX Security Symposium (USENIX Security 20)}, year = {2020}, isbn = {978-1-939133-17-5}, pages = {1481--1498}, url = {https://www.usenix.org/conference/usenixsecurity20/presentation/oleksenko}, publisher = {USENIX Association}, month = aug } @inproceedings {216033, author = {Oleksii Oleksenko and Bohdan Trach and Robert Krahn and Mark Silberstein and Christof Fetzer}, title = {Varys: Protecting {SGX} Enclaves from Practical {Side-Channel} Attacks}, booktitle = {2018 USENIX Annual Technical Conference (USENIX ATC 18)}, year = {2018}, isbn = {ISBN 978-1-939133-01-4}, address = {Boston, MA}, pages = {227--240}, url = {https://www.usenix.org/conference/atc18/presentation/oleksenko}, publisher = {USENIX Association}, month = jul } @inproceedings {199364, author = {Sergei Arnautov and Bohdan Trach and Franz Gregor and Thomas Knauth and Andre Martin and Christian Priebe and Joshua Lind and Divya Muthukumaran and Dan O{\textquoteright}Keeffe and Mark L. Stillwell and David Goltzsche and Dave Eyers and R{\"u}diger Kapitza and Peter Pietzuch and Christof Fetzer}, title = {{SCONE}: Secure Linux Containers with Intel {SGX}}, booktitle = {12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)}, year = {2016}, isbn = {978-1-931971-33-1}, address = {Savannah, GA}, pages = {689--703}, url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/arnautov}, publisher = {USENIX Association}, month = nov }