Author of the publication

Runtime Verification at Work: A Tutorial.

, , , , , , , and . RV, volume 10012 of Lecture Notes in Computer Science, page 46-67. Springer, (2016)

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

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)A formal verification tool for Ethereum VM bytecode., , , , and . ESEC/SIGSOFT FSE, page 912-915. ACM, (2018)Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability., , , , , , , and . SP, page 910-927. IEEE, (2020)(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)Tesseract: Real-Time Cryptocurrency Exchange Using Trusted Hardware., , , , , and . CCS, page 1521-1538. ACM, (2019)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)Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts., , , and . IACR Cryptol. ePrint Arch., (2021)