Author of the publication

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.

, , , , , , and . RV, volume 9333 of Lecture Notes in Computer Science, page 342-357. Springer, (2015)

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)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)Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value., , , , , and . CoRR, (2021)Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware., , , , , , , and . IACR Cryptol. ePrint Arch., (2017)Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets., , , , , and . IACR Cryptol. ePrint Arch., (2023)Tesseract: Real-Time Cryptocurrency Exchange Using Trusted Hardware., , , , , and . CCS, page 1521-1538. ACM, (2019)