BitConduite: Exploratory Visual Analysis of Entity Activity on the Bitcoin Network[J]
IEEE COMPUTER GRAPHICS AND APPLICATIONS
机构作者
Bhargavan, Karthikeyan
文献数量：1
Blascheck, Tanja
文献数量：1
Kinkeldey, Christoph
文献数量：1
Kobeissi, Nadim
文献数量：1
Kulatova, Natalia
文献数量：1
Sibut-Pinote, Thomas
文献数量：1
Wesolowski, Benjamin
文献数量：2
机构文献
Efficient Verifiable Delay Functions[J]
JOURNAL OF CRYPTOLOGY
Formal Verification of Smart Contracts Short Paper[C]
PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16)