Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Van Strydonck
conf.researchr.org general profile
PLDI 2026 profile
Not registered as user
Name:
Thomas
Van Strydonck
Country:
Netherlands
Affiliation:
Fortanix
Contributions
2026
PLDI
Author of Cerisier: A Program Logic for Attestation in a Capability Machine within the PLDI Research Papers-track
Share
x
Thu 15 Oct 08:32