Channel Auctions[J]
MANAGEMENT SCIENCE
机构作者
Delignat-Lavaud, Antoine
文献数量：1
Fournet, Cedric
文献数量：1
Gonthier, Georges
文献数量：1
Liu, Qi
文献数量：1
Pennock, David M.
文献数量：1
Rastogi, Aseem
文献数量：1
Swamy, Nikhil
文献数量：1
Weyl, E. Glen
文献数量：1
Yan, Ying
文献数量：1
Zanella-Beguelin, Santiago
文献数量：1
机构文献
EtherQL: A Query Layer for Blockchain System[C]
DATABASE SYSTEMS FOR ADVANCED APPLICATIONS (DASFAA 2017), PT II
Formal Verification of Smart Contracts Short Paper[C]
PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16)