Autor der Publikation

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

A formal verification tool for Ethereum VM bytecode., , , , und . ESEC/SIGSOFT FSE, Seite 912-915. ACM, (2018)Interactive Proofs for Rounding Arithmetic., , , und . IEEE Access, (2022)iJournaling: Fine-Grained Journaling for Improving the Latency of Fsync System Call., und . USENIX Annual Technical Conference, Seite 787-798. USENIX Association, (2017)End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract., , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 151-164. Springer, (2020)KJS: a complete formal semantics of JavaScript., , und . PLDI, Seite 346-356. ACM, (2015)KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine., , , , , , , , , und 1 andere Autor(en). CSF, Seite 204-217. IEEE Computer Society, (2018)A Language-Independent Approach to Smart Contract Verification., , und . ISoLA (4), Volume 11247 von Lecture Notes in Computer Science, Seite 405-413. Springer, (2018)A complete formal semantics of x86-64 user-level instruction set architecture., , , , und . PLDI, Seite 1133-1148. ACM, (2019)Security Authentication System Using Encrypted Channel on UAV Network., , , , , und . IRC, Seite 393-398. IEEE Computer Society, (2017)Language-parametric compiler validation with application to LLVM., , , , und . ASPLOS, Seite 1004-1019. ACM, (2021)