Doktore-tesiak

03/03/2023

Certificates for Decision Problems in Temporal Logic using Context-Based Tableaux and Sequent Calculi

Alex Abuin Yepes

01/03/2023

Privacy-Driven E2E Data Exchange for Value Chains

Aintzane Mosteiro Sanchez

30/09/2022

Novel approaches for IoT and Embedded Device Fuzzing and its Evaluation

Maialen Eceiza Olaizola

08/09/2022

Cybersecurity Evaluation Methodology based on Metrics for Industrial Embedded Systems

Ángel Longueira Romero

27/07/2022

Contributions to time series data mining towards the detection of outliers / anomalies

Ane Blázquez