Biblio

Export 4 results:
Filters: Author is Bohdan Trach  [Clear All Filters]
2023
Wang J, Trach B, Fu M, Behrens D, Schwender J, Liu Y, Lei J, Vafeiadis V, Härtig H, Chen H.  2023.  BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :833--850.
2020
Oleksenko O, Trach B, Silberstein M, Fetzer C.  2020.  SpecFuzz: Bringing Spectre-type vulnerabilities to the surface. 29th USENIX Security Symposium (USENIX Security 20). :1481--1498.
2018
Oleksenko O, Trach B, Krahn R, Silberstein M, Fetzer C.  2018.  Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :227--240.
2016
Arnautov S, Trach B, Gregor F, Knauth T, Martin A, Priebe C, Lind J, Muthukumaran D, O'Keeffe D, Stillwell ML et al..  2016.  SCONE: Secure Linux Containers with Intel SGX. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :689--703.