Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Emiel Lanckriet
conf.researchr.org general profile
POPL 2023 profile
Registered user since Thu 19 Jan 2023
Name:
Emiel Lanckriet
Affiliation:
KU Leuven
Contributions
2023
PriSC
Author of Short Talk: Generalising secure compilation criteria within the PriSC 2023-track
Author of pi_RA: A pi-calculus for verifying protocols that use remote attestation within the PriSC 2023-track
Share
x
Sun 25 May 06:52
