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

CheriRTOS: A Capability Model for Embedded Devices., , , , , , , , , und 6 andere Autor(en). ICCD, Seite 92-99. IEEE Computer Society, (2018)Categorizing Clinical Data to Make it Easier for Patients to Indicate Their Data Sharing Preferences., , , , , , und . AMIA, AMIA, (2016)Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance., , , , , , , , , und 1 andere Autor(en). ASPLOS (1), Seite 181-196. ACM, (2024)Architectural Contracts for Safe Speculation., , , , , , , , , und 3 andere Autor(en). ICCD, Seite 578-586. IEEE, (2023)Complete spatial safety for C and C++ using CHERI capabilities.. University of Cambridge, UK, (2019)British Library, EThOS.CHERI Macaroons: Efficient, host-based access control for cyber-physical systems., , , , und . EuroS&P Workshops, Seite 688-693. IEEE, (2020)CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment., , , , , , , , , und 11 andere Autor(en). ASPLOS, Seite 379-393. ACM, (2019)CHERI: Hardware-Enabled C/C++ Memory Protection at Scale., , , , , , , , , und 2 andere Autor(en). IEEE Secur. Priv., 22 (4): 50-61 (Juli 2024)CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety., , , , , , , , , und 1 andere Autor(en). MICRO, Seite 545-557. ACM, (2019)Cornucopia: Temporal Safety for CHERI Heaps., , , , , , , , , und 14 andere Autor(en). SP, Seite 608-625. IEEE, (2020)