Bohdan Trach

2 papers · 2016–2023 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (7) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (14) 📈 Trend Setter

Conferences

OSDI (2)

Top co-authors

Christof Fetzer (1) Andre Martin (1) Diogo Behrens (1) Thomas Knauth (1) Dave Eyers (1) Haibo Chen (1) Divya Muthukumaran (1) Franz Gregor (1) Peter Pietzuch (1) Jonathan Schwender (1)

Keywords

formal verification (1) parallel processing (1) trusted execution environment (1) intel sgx (1) work stealing (1) docker container (1) multicore processing (1) trusted execution (1) queue scheduling (1) container isolation (1) secure container (1) linux container (1)

Papers

BWoS: Formally Verified Block-based Work Stealing for Parallel Processing OSDI 2023

SCONE: Secure Linux Containers with Intel SGX OSDI 2016