Autor der Publikation

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring.

, , , , , und . USENIX Security Symposium, Seite 1493-1510. USENIX Association, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts., , und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 212-231. Springer, (2020)WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring., , , , , und . USENIX Security Symposium, Seite 1493-1510. USENIX Association, (2018)Decision and Complexity of Dolev-Yao Hyperproperties., , und . Proc. ACM Program. Lang., 8 (POPL): 1913-1944 (Januar 2024)Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability., , , , und . NDSS, The Internet Society, (2019)LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures., , und . CCS, Seite 859-873. ACM, (2023)eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts., , , und . CCS, Seite 621-640. ACM, (2020)HoRStify: Sound Security Analysis of Smart Contracts., , und . CSF, Seite 245-260. IEEE, (2023)A Semantic Framework for the Security Analysis of Ethereum Smart Contracts., , und . POST, Volume 10804 von Lecture Notes in Computer Science, Seite 243-269. Springer, (2018)Foundations and Tools for the Static Analysis of Ethereum Smart Contracts., , und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 51-78. Springer, (2018)