( en | de | ru )

 

Disambiguierung von "von Gleissenthall, Klaus"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Randomized Testing of Byzantine Fault Tolerant Algorithms.

, , , , und . Proc. ACM Program. Lang., 7 (OOPSLA1): 757-788 (April 2023)

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.

Klaus von Gierke

Klaus von Holt

Klaus von Wangenheim

Klaus von Holt

Klaus von Gierke

 

Weitere Publikationen von Autoren mit dem selben Namen

Pretend synchrony: synchronous verification of asynchronous distributed programs., , , , und . Proc. ACM Program. Lang., 3 (POPL): 59:1-59:30 (2019)PLAS: The 18th Workshop on Programming Languages and Analysis for Security., und . CCS, Seite 3659. ACM, (2023)Don't Look UB: Exposing Sanitizer-Eliding Compiler Optimizations., , , , und . Proc. ACM Program. Lang., 7 (PLDI): 907-927 (2023)Randomized Testing of Byzantine Fault Tolerant Algorithms., , , , und . Proc. ACM Program. Lang., 7 (OOPSLA1): 757-788 (April 2023)Constant-time foundations for the new spectre era., , , , , , und . PLDI, Seite 913-926. ACM, (2020)Automatically eliminating speculative leaks from cryptographic code with blade., , , , , , , und . Proc. ACM Program. Lang., 5 (POPL): 1-30 (2021)Towards Constant-Time Foundations for the New Spectre Era., , , , , und . CoRR, (2019)Triereme: Speeding up hybrid fuzzing through efficient query scheduling., , , , , und . ACSAC, Seite 56-70. ACM, (2023)Solver-Aided Constant-Time Circuit Verification., , , und . CoRR, (2021)Solver-Aided Constant-Time Hardware Verification., , , und . CCS, Seite 429-444. ACM, (2021)