Towards Verified Price Oracles for Decentralized Exchange Protocols.

Kinnari Dave, Vilhelm Sjberg, Xinyuan Sun

Browse the full CAV paper archive.