Automated Safety Verification of Programs Invoking Neural Networks. - Maria Christakis; Hasan Ferit Eniser; Holger Hermanns; Jörg Hoffmann 001; Yugesh Kothari; Jianlin Li; Jorge A. Navas; Valentin Wüstholz (CAV (1), 2021)

Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS. - Vishal Gupta; Kumar Kartikeya Dwivedi; Yugesh Kothari; Yueyang Pan; Diyu Zhou; Sanidhya Kashyap (OSDI, 2023)