Tesis de Master (8)

1. Hadesius: Una soluzione per il controllo e il monitoraggio del perimetro cibernetico nazionale
   Andrea Colato.
   MSc Thesis. Universita degli Studi di Milano (UNIMI). Supervisors: Stelvio Cimato, Dario Fiore. octubre 2021.
2. Empirical Analysis of Trace-ability in the Lightning Network
   Meresa Gebrewahd.
   MSc Thesis. Sapienza University of Rome (Sapienza). Supervisors: Pedro Moreno-Sanchez, Angelo Spognardi. octubre 2021.
3. The Temporal Booleanization Theorem: realizability checking over numerical-LTL industrial requirements
   Andoni Rodriguez.
   MSc Thesis. Universidad Complutense de Madrid (UCM). Supervisors: Cesar Sanchez. septiembre 2021.
4. Analysis of Proof of Assets for Different Cryptocurrencies
   Marta Centellas Nadal.
   MSc Thesis. Universidad Complutense Madrid (UCM). Supervisors: Ignacio Cascudo, Pedro Moreno-Sanchez, Ignacio Luengo Velasco. septiembre 2021.
5. Abstract Domain for Floating-point Programs
   Daniel Jurjo Rivas.
   MSc Thesis. Universidad Politécnica de Madrid, ETSIInf. julio 2021.
6. An Integrated Approach to Assertion-Based Random Testing in Logic Languages
   Ignacio Casso.
   MSc Thesis. Universidad Politécnica de Madrid, ETSIInf. julio 2021.
7. Improvements to Parametric Cost Analysis and its Application to Smart Contracts
   Víctor Pérez Carrasco.
   MSc Thesis. Universidad Politécnica de Madrid, ETSIInf. julio 2021.
8. Adaptor Signature Based Atomic Swaps Between Bitcoin and a Mimblewimble Based Cryptocurrency
   Jakob Abfalter.
   MSc Thesis. Technical University of Vienna (TUW). Supervisors: Pedro Moreno-Sanchez, Matteo Maffei. junio 2021.