Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stelios Tsampas
conf.researchr.org general profile
POPL 2021 profile
POPL 2024 profile
SPLASH 2021 profile
Registered user since Sun 29 Aug 2021
Name:
Stelios Tsampas
Personal website:
https://distrinet.cs.kuleuven.be/people/SteliosTsampas
Contributions
2024
PriSC
Committee Member in Program Committee within the PriSC 2024-track
2021
APLAS
Author of Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly within the Research Papers-track
PriSC
Author of A Categorical Approach to Secure Compilation (and others things) (short talk) within the PriSC 2021-track
Share
x
Tue 3 Dec 18:00