< Back to previous page
Researcher
Stylianos Tsampas
- Disciplines:Distributed computing
Affiliations
- Distributed and Secure Software (DistriNet) (Division)
Member
From1 Aug 2020 → 31 Jul 2021 - Informatics Section (Division)
Member
From1 Aug 2016 → 4 Aug 2020
Publications
1 - 8 of 8
- Abstract Congruence Criteria for Weak Bisimilarity(2021)
Authors: Stylianos Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
Pages: 88:1 - 88:23 - CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle(2021)
Authors: Stylianos Tsampas, Dominique Devriese, Frank Piessens
Pages: 1 - 16 - Formal Reasoning about Equivalences: from Secure Compilation to Categorical Weak Bisimulation(2021)
Authors: Stylianos Tsampas, Frank Piessens, Dominique Devriese
- CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle(2020)
Authors: Stylianos Tsampas, Dominique Devriese, Frank Piessens
Pages: 1 - 16 - A Categorical Approach to Secure Compilation(2020)
Authors: Stylianos Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
Pages: 155 - 179 - Temporal Safety for Stack Allocated Memory on Capability Machines(2019)
Authors: Stylianos Tsampas, Dominique Devriese, Frank Piessens
Pages: 243 - 256Number of pages: 13 - Towards automatic compartmentalization of C programs on capability machines(2017)
Authors: Stylianos Tsampas, Dominique Devriese, Frank Piessens
Pages: 1 - 14 - Fully Abstract and Robust Compilation And How to Reconcile the Two, Abstractly
Authors: Stylianos Tsampas
Pages: 83 - 101Number of pages: 19