Cody Born

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Computing Resources

Formal Verification

Top Venues

Publications

Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. VSTTE (2019)