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
POPL 2026 profile
Registered user since Mon 27 Nov 2017
Name:
Thomas
Van Strydonck
Affiliation:
KULeuven
Contributions
2026
PriSC
Author of Calling Conventions for Secure Stack Sharing on CHERI Capability Machines in Practice within the PriSC-track
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
Tue 5 May 11:27