OSIRIS: Efficient and Consistent Recovery of Compartmentalized Operating Systems. - Koustubha Bhat; Dirk Vogt; Erik van der Kouwe; Ben Gras; Lionel Sambuc; Andrew S. Tanenbaum; Herbert Bos; Cristiano Giuffrida (DSN, 2016)

ProbeGuard: Mitigating Probing Attacks Through Reactive Program Transformations. - Koustubha Bhat; Erik van der Kouwe; Herbert Bos; Cristiano Giuffrida (ASPLOS, 2019)

Practical Byte-Granular Memory Blacklisting using Califorms. - Hiroshi Sasaki 001; Miguel A. Arroyo; M. Tarek Ibn Ziad; Koustubha Bhat; Kanad Sinha; Simha Sethumadhavan (MICRO, 2019)

VSync: push-button verification and optimization for synchronization primitives on weak memory models. - Jonas Oberhauser; Rafael Lourenco de Lima Chehab; Diogo Behrens; Ming Fu; Antonio Paolillo; Lilith Oberhauser; Koustubha Bhat; Yuzhong Wen; Haibo Chen 001; Jaeho Kim; Viktor Vafeiadis (ASPLOS, 2021)

FIRestarter: Practical Software Crash Recovery with Targeted Library-level Fault Injection. - Koustubha Bhat; Erik van der Kouwe; Herbert Bos; Cristiano Giuffrida (DSN, 2021)

Fine Grained Dataflow Tracking with Proximal Gradients. - Gabriel Ryan; Abhishek Shah; Dongdong She; Koustubha Bhat; Suman Jana (USENIX Security Symposium, 2021)

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report). - Jonas Oberhauser; Rafael Lourenco de Lima Chehab; Diogo Behrens; Ming Fu; Antonio Paolillo; Lilith Oberhauser; Koustubha Bhat; Yuzhong Wen; Haibo Chen 001; Jaeho Kim; Viktor Vafeiadis (CoRR, 2021)

AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. - Martin Beck; Koustubha Bhat; Lazar Stricevic; Geng Chen; Diogo Behrens; Ming Fu; Viktor Vafeiadis; Haibo Chen 001; Hermann Härtig (ASPLOS (2), 2023)