Virtual ASICs: Generalized Proof-of-Stake Mining in Cryptocurrencies[C]
DATA PRIVACY MANAGEMENT, CRYPTOCURRENCIES AND BLOCKCHAIN TECHNOLOGY, ESORICS 2021
机构作者
Annenkov, Danil
文献数量：3
Damgard, Ivan
文献数量：2
Nielsen, Jakob Botsch
文献数量：3
Orlandi, Claudio
文献数量：4
Schwartzbach, Nikolaj, I
文献数量：3
Spitters, Bas
文献数量：3
Takahashi, Akira
文献数量：2
机构文献
Two-Round n-out-of-n and Multi-Signatures and Trapdoor Commitment from Lattices[J]
JOURNAL OF CRYPTOLOGY
An Incentive-Compatible Smart Contract for Decentralized Commerce[C]
2021 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY (ICBC)
ConCert: A Smart Contract Certification Framework in Coq[C]
CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS