Stelios Tsampas -

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