Garcia, João Pedro Masset Lacombe Dias2026-01-162026-01-162025http://hdl.handle.net/10400.5/116672Tese de Mestrado, Informática, 2025, Universidade de Lisboa, Faculdade de CiênciasAs the number of IoT devices grows, ensuring the secure validation and processing of the data they generate has become critical. Moreover, providing those guarantees is challenging for mobile nodes, such as cars, because they need to continually reconnect to new edge servers while on the move. This work aims to design a solution for connecting IoT devices to edge servers, through which they can deliver data to applications while minimizing overhead and securing the handover between edge servers. A fundamental concern lies in trusting these edge servers, as they could potentially be compromised or exhibit malicious behavior. The work proposes a decentralized architecture to continuously check the integrity of edge servers, which relies on external verifier nodes to carry out the necessary checks. Given the distributed nature of IoT applications, the architecture uses blockchain, app-specific rollup nodes, and data availability (DA) solutions to optimize computation and verification processes.application/pdfengInternet of Things (IoT)Edge ComputingBlockchainScalable ProtocolsDecentralized Verificationmaster thesis204173221