Seguir
Stelios Tsampas
Stelios Tsampas
Postdoctoral Researcher
Dirección de correo verificada de fau.de
Título
Citado por
Citado por
Año
Towards automatic compartmentalization of C programs on capability machines
S Tsampas, A El-Korashy, M Patrignani, D Devriese, D Garg, F Piessens
Workshop on Foundations of Computer Security 2017, 1-14, 2017
272017
CapablePtrs: Securely compiling partial programs using the pointers-as-capabilities principle
A El-Korashy, S Tsampas, M Patrignani, D Devriese, D Garg, F Piessens
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
162021
Temporal safety for stack allocated memory on capability machines
S Tsampas, D Devriese, F Piessens
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 243-24312, 2019
132019
A categorical approach to secure compilation
S Tsampas, A Nuyts, D Devriese, F Piessens
International Workshop on Coalgebraic Methods in Computer Science, 155-179, 2020
92020
Towards a higher-order mathematical operational semantics
S Goncharov, S Milius, L Schröder, S Tsampas, H Urbat
Proceedings of the ACM on Programming Languages 7 (POPL), 632-658, 2023
72023
Fully abstract and robust compilation: and how to reconcile the two, abstractly
C Abate, M Busi, S Tsampas
Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021
72021
Weak similarity in higher-order mathematical operational semantics
H Urbat, S Tsampas, S Goncharov, S Milius, L Schröder
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023
42023
Stateful structural operational semantics
S Goncharov, S Milius, L Schröder, S Tsampas, H Urbat
arXiv preprint arXiv:2202.10866, 2022
42022
Abstract congruence criteria for weak bisimilarity
S Tsampas, C Williams, A Nuyts, D Devriese, F Piessens
arXiv preprint arXiv:2010.07899, 2020
42020
Compiling a secure variant of C to capabilities
A El-Korashy, S Tsampas, M Patrignani, D Devriese, D Garg, F Piessens
Dagstuhl Seminar 18201, 0
3
Towards categorical contextual reasoning
S Tsampas, A Nuyts, D Devriese, F Piessens
Submitted to MFCS, 2019
12019
Logical Predicates in Higher-Order Mathematical Operational Semantics
S Goncharov, A Santamaria, L Schröder, S Tsampas, H Urbat
International Conference on Foundations of Software Science and Computation …, 2024
2024
Bialgebraic Reasoning on Higher-Order Program Equivalence
S Goncharov, S Milius, S Tsampas, H Urbat
arXiv preprint arXiv:2402.00625, 2024
2024
Higher-Order Mathematical Operational Semantics (Early Ideas)
S Goncharov, S Milius, L Schröder, S Tsampas, H Urbat
10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 2023
2023
CRDTs, Coalgebraically (Early Ideas)
N Liittschwager, S Tsampas, J Castello, L Kuper
10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 2023
2023
Stateful Structural Operational Semantics
S Tsampas, H Urbat
Short Contributions, 9, 2022
2022
Formal Reasoning about Equivalences: from Secure Compilation to Categorical Weak Bisimulation
S Tsampas
KU Leuven, 2021
2021
A summary on categorical contextual reasoning
S Tsampas, A Nuyts, D Devriese, F Piessens
Applied Category Theory Conference, 2019
2019
Towards a Higher-Order Mathematical Operational Semantics
S MILIUS, L SCHRÖDER, S TSAMPAS, H URBAT
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle (Technical Report)
A El-Korashy, S Tsampas, M Patrignani, D Devriese, D Garg, F Piessens
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20