机构作者
文献数量：1
文献数量：1
文献数量：2
文献数量：1
文献数量：1
文献数量：1
文献数量：1
文献数量：1
文献数量：2
文献数量：3
文献数量：1
文献数量：2
文献数量：2
文献数量：3
机构文献
PolyShard: Coded Sharding Achieves Linearly Scaling Efficiency and Security Simultaneously[J]
IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract[C]
COMPUTER AIDED VERIFICATION (CAV 2020), PT I
Authenticated Data Structures for Privacy-Preserving Monero Light Clients[C]
2018 3RD IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (EUROS&PW 2018)
Approximate Bitcoin Mining[C]
2016 ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC)
Who Uses Bitcoin? An exploration of the Bitcoin community[C]
2014 TWELFTH ANNUAL INTERNATIONAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST)
Grasping decentralized finance through the lens of economic theory[J]
CANADIAN JOURNAL OF ECONOMICS-REVUE CANADIENNE D ECONOMIQUE
Communication complexity of byzantine agreement, revisited[J]
DISTRIBUTED COMPUTING