Carlos Tomé Cortiñas

According to our database, Carlos Tomé Cortiñas authored at least 4 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Normalization for fitch-style modal calculi.

Nachiappan Valliappan, Fabian Ruch, Carlos Tomé Cortiñas

Proc. ACM Program. Lang., 2022

2020

Securing Asynchronous Exceptions.

Carlos Tomé Cortiñas, Marco Vassena, Alejandro Russo

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Simple Noninterference by Normalization.

Carlos Tomé Cortiñas, Nachiappan Valliappan

Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, 2019

2018

From algebra to abstract machine: a verified generic construction.

Carlos Tomé Cortiñas, Wouter Swierstra

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018