| 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 | 27 | 2017 |
| 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 | 18 | 2021 |
| 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 | 13 | 2020 |
| 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 | 13 | 2019 |
| 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 | 10 | 2023 |
| 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 | 9 | 2021 |
| 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 | 6 | 2023 |
| Stateful structural operational semantics S Goncharov, S Milius, L Schröder, S Tsampas, H Urbat arXiv preprint arXiv:2202.10866, 2022 | 5 | 2022 |
| Abstract congruence criteria for weak bisimilarity S Tsampas, C Williams, A Nuyts, D Devriese, F Piessens arXiv preprint arXiv:2010.07899, 2020 | 4 | 2020 |
| 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 | |
| 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 | 2 | 2024 |
| Bialgebraic Reasoning on Higher-Order Program Equivalence S Goncharov, S Milius, S Tsampas, H Urbat arXiv preprint arXiv:2402.00625, 2024 | 1 | 2024 |
| Towards categorical contextual reasoning S Tsampas, A Nuyts, D Devriese, F Piessens Submitted to MFCS, 2019 | 1 | 2019 |
| Higher-Order Mathematical Operational Semantics S Goncharov, S Milius, L Schröder, S Tsampas, H Urbat arXiv preprint arXiv:2405.16708, 2024 | | 2024 |
| 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023) R Harper, R Bruni, E Pimentel, LC Pereira, JG Siek, A Mahboubi, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 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 |
| Categorical contextual reasoning S Tsampas | | |
Dominique DevrieseKU Leuven在 kuleuven.be 的电子邮件经过验证
