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

Modular Verification of JML Contracts Using Bounded Model Checking., , , und . ISoLA (1), Volume 12476 von Lecture Notes in Computer Science, Seite 60-80. Springer, (2020)Why Is Online Voting Still Largely a Black Box?, , und . CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, Volume 13785 von Lecture Notes in Computer Science, Seite 555-567. Springer, (2022)Card-Based Cryptography Meets Formal Verification., , und . New Gener. Comput., 39 (1): 115-158 (2021)Formal Methods for Trustworthy Voting Systems: From Trusted Components to Reliable Software.. Karlsruhe Institute of Technology, Germany, (2023)Towards automatic argumentation about voting rules., und . APIA, Seite 43-52. (2018)Verified Construction of Fair Voting Rules., , und . LOPSTR, Volume 12042 von Lecture Notes in Computer Science, Seite 90-104. Springer, (2019)Card-Based Cryptography Meets Formal Verification., , und . ASIACRYPT (1), Volume 11921 von Lecture Notes in Computer Science, Seite 488-517. Springer, (2019)