Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Van Strydonck
conf.researchr.org general profile
ICFP 2019 profile
ICFP 2020 profile
POPL 2018 profile
POPL 2021 profile
POPL 2024 profile
Registered user since Mon 27 Nov 2017
Name:
Thomas Van Strydonck
Affiliation:
KULeuven
Contributions
2024
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
2021
POPL
Author of Efficient and Provable Local Capability Revocation using Uninitialized Capabilities within the POPL-track
2020
ICFP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2019
ICFP
Author of Linear capabilities for fully abstract compilation of separation-logic-verified code within the Research Papers-track
2018
PriSC
Author of Linear capabilities for modular fully-abstract compilation of verified code within the PriSC 2018-track
Share
x
Wed 11 Jun 22:24
