No photo of Sander Huyghebaert
  • Pleinlaan 2

    1050 Brussels

    Belgium

  • Pleinlaan 2

    1050 Brussel

    Belgium

  • Source: Scopus
  • Calculated based on number of publications stored in Pure and citations from Scopus
20202023

Research activity per year

Filter
Conference paper

Search results

  • 2023

    Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

    Huyghebaert, S., Keuchel, S., De Roover, C. & Devriese, D., 21 Nov 2023, CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. ACM, p. 2083–2097 15 p. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    File
    13 Downloads (Pure)
Your message has successfully been sent.
Your message was not sent due to an error.