• Sign in
  • Sign up
conf.researchr.org / Sander Huyghebaert
  • ICFP 2022 profile
  • POPL 2021 profile
  • POPL 2024 profile
No Photo

Registered user since Sat 7 Nov 2020

Name:Sander Huyghebaert
Affiliation:Vrije Universiteit Brussel

Contributions

2024

POPL

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

PriSC

  • Author of Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress) within the PriSC 2024-track

POCL

  • Author of Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress) within the POCL 2024-track

2022

ICFP

  • Author of Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming) within the ICFP Papers and Events-track

2021

POPL

  • Author of Efficient and Provable Local Capability Revocation using Uninitialized Capabilities within the POPL-track
Share
xWed 14 May 00:40
using conf.researchr.org (v1.69.0)
Support page
Sign Up