Tomás Silva

According to our database, Tomás Silva authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

Lightweight Network-Based IoT Device Authentication in Cloud Services.

Tomás Silva, João Casal, Ricardo Chaves

Proceedings of the 31st IEEE International Conference on Network Protocols, 2023

2022

Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers.

André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira

Proceedings of the Formal Methods for Industrial Critical Systems, 2022