Kinnari Dave

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 2

Top Topics

Smart Environments

Information Flow Control

Functional Verification

Privacy Preserving

Top Venues

Publications

Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria A Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao
Foundational Verification of Smart Contracts through Verified Compilation. CoRR (2024)
Kinnari Dave, Vilhelm Sjöberg, Xinyuan Sun
Towards Verified Price Oracles for Decentralized Exchange Protocols. FMBC@CAV (2021)