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

Checking Robustness Against Snapshot Isolation., , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 286-304. Springer, (2019)LVMT: An Efficient Authenticated Storage for Blockchain., , , , , und . OSDI, Seite 135-153. USENIX Association, (2023)Robustness Against Transactional Causal Consistency., , und . CONCUR, Volume 140 von LIPIcs, Seite 30:1-30:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Checking Robustness Between Weak Transactional Consistency Models., , und . ESOP, Volume 12648 von Lecture Notes in Computer Science, Seite 87-117. Springer, (2021)Automated Synthesis of Asynchronizations., , , und . SAS, Volume 13790 von Lecture Notes in Computer Science, Seite 135-159. Springer, (2022)Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts., , , , und . ICBC, Seite 1-6. IEEE, (2022)Comparing Causal Convergence Consistency Models., , und . NETYS, Volume 14067 von Lecture Notes in Computer Science, Seite 62-77. Springer, (2023)Smart Contracts Refinement for Gas Optimization., , , und . BRAINS, Seite 229-236. IEEE, (2021)Safeguarding DeFi Smart Contracts against Oracle Deviations., , , , , und . ICSE, Seite 171:1-171:12. ACM, (2024)A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks., , , , , , , und . DAPPS, Seite 38-47. IEEE, (2023)