| Normalization for Fitch-Style Modal Calculi N Valliappan, F Ruch, C Tomé Cortiñas Proceedings of the ACM on Programming Languages 6 (ICFP), 772-798, 2022 | 21 | 2022 |
| Simple Noninterference by Normalization C Tomé Cortiñas, N Valliappan Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and …, 2019 | 5 | 2019 |
| Securing Asynchronous Exceptions C Tomé Cortiñas, M Vassena, A Russo 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 214-229, 2020 | 4 | 2020 |
| From algebra to abstract machine: a verified generic construction C Tomé Cortiñas, W Swierstra Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven …, 2018 | 4 | 2018 |
| Information-Flow Control and Effects C Tomé Cortinas, F Ruch | | 2021 |
| Verified tail-recursive folds through dissection C Tomé Cortiñas Utrecht University, 2018 | | 2018 |
| Semantic Analysis of Normalization by Evaluation for Fitch-Style Modal Lambda Calculi N Valliappan, F Ruch, C Tomé Cortinas | | |
