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

Weird Machines as Insecure Compilation., , , , , , und . CoRR, (2019)A Semantic Reference Model for Capturing System Development and Evaluation., , , , , , , , , und . ICSC, Seite 173-174. IEEE, (2022)Continuous Formal Verification of Amazon s2n., , , , , , , , , und 2 andere Autor(en). CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 430-446. Springer, (2018)RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence., , , , , , , , und . SAFECOMP Workshops, Volume 14182 von Lecture Notes in Computer Science, Seite 149-160. Springer, (2023)Application-Scale Secure Multiparty Computation., , , und . ESOP, Volume 8410 von Lecture Notes in Computer Science, Seite 8-26. Springer, (2014)Enabling Development of an Extensible, Multi-Perspective Ontology., , , , , , und . ICSC, Seite 77-80. IEEE, (2024)TrackOS: A Security-Aware Real-Time Operating System., , , , und . RV, Volume 10012 von Lecture Notes in Computer Science, Seite 302-317. Springer, (2016)Aviation Certification Powered by the Semantic Web Stack., , , , , und . ISWC, Volume 14266 von Lecture Notes in Computer Science, Seite 345-361. Springer, (2023)