Author of the publication

(Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work.

, , , and . Financial Cryptography Workshops, volume 10323 of Lecture Notes in Computer Science, page 182-190. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More., , , and . IACR Cryptology ePrint Archive, (2018)Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges., , , , , , , and . CoRR, (2019)Runtime Verification at Work: A Tutorial., , , , , , , and . RV, volume 10012 of Lecture Notes in Computer Science, page 46-67. Springer, (2016)Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts., , , and . SP, page 2499-2516. IEEE, (2023)Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability., , , , , , , and . SP, page 910-927. IEEE, (2020)A formal verification tool for Ethereum VM bytecode., , , , and . ESEC/SIGSOFT FSE, page 912-915. ACM, (2018)Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value., , , , , and . CoRR, (2021)Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts., , , and . USENIX Security Symposium, page 1335-1352. USENIX Association, (2018)Paralysis Proofs: Secure Dynamic Access Structures for Cryptocurrency Custody and More., , , , and . AFT, page 1-15. ACM, (2019)Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets., , , , , and . IACR Cryptol. ePrint Arch., (2023)