From algebra to abstract machine: a verified generic construction. - Carlos Tomé Cortiñas; Wouter Swierstra (TyDe@ICFP, 2018)

Simple Noninterference by Normalization. - Carlos Tomé Cortiñas; Nachiappan Valliappan (PLAS@CCS, 2019)

Securing Asynchronous Exceptions. - Carlos Tomé Cortiñas; Marco Vassena; Alejandro Russo (CSF, 2020)

Normalization for fitch-style modal calculi. - Nachiappan Valliappan; Fabian Ruch; Carlos Tomé Cortiñas (Proc. ACM Program. Lang., 2022)

Sensitivity by Parametricity. - Elisabet Lobo Vesga; Alejandro Russo; Marco Gaboardi; Carlos Tomé Cortiñas (Proc. ACM Program. Lang., 2024)