Towards Verified Price Oracles for Decentralized Exchange Protocols. - Kinnari Dave; Vilhelm Sjöberg; Xinyuan Sun (FMBC@CAV, 2021)

Foundational Verification of Smart Contracts through Verified Compilation. - Vilhelm Sjöberg; Kinnari Dave; Daniel Britten; Maria A Schett; Xinyuan Sun; Qinshi Wang; Sean Noble Anderson; Steve Reeves; Zhong Shao 001 (CoRR, 2024)

Combining quantum and classical control: syntax, semantics and adequacy. - Kinnari Dave; Louis Lemonnier; Romain Péchoux; Vladimir Zamdzhiev (FoSSaCS, 2025)

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation. - Kinnari Dave; Alejandro Díaz-Caro; Vladimir Zamdzhiev (CoRR, 2025)