2018-annual-report

84
annual report
20
4. Artem Khyzha. Proving Consistency of Concurrent
Data Structures and Transactional
Memory Systems. Ph.D. Thesis. Universidad
Politécnica de Madrid (UPM). July 2018.
Advisor: Alexey Gotsman (IMDEA Software
Institute).
5. Elena Pagnin. Be More and Be Merry:
Enhancing Data and User Authentication in
Collaborative Settings. Ph.D. Thesis. Chalmers
University of Technology. September
2018. Advisors: Andrei Sabelfeld (Chalmers
University of Technology) and Dario Fiore
(IMDEA Software Institute).
6. Miguel Ambrona. Automated Analysis of
Cryptographic Constructions. Ph.D. Thesis.
Universidad Politécnica de Madrid (UPM).
September 2018. Advisor: Gilles Barthe
(IMDEA Software Institute).
7. Richard Rivera Guevara. Tools for the Detection
and Analysis of Potentially Unwanted
Programs. Ph.D. Thesis. Universidad Politécnica
de Madrid (UPM). November 2018.
Advisor: Juan Caballero (IMDEA Software
Institute).
8. Felix Schroeder. Security of Cache Replacement
Policies under Side-Channel Attacks.
Master Thesis. Technical University Berlin.
March 2018. Advisor: Boris Köpf (IMDEA
Software Institute).
11. Luis Miguel Danielsson. Decentralised
Stream Runtime Verification. Master Thesis.
Universidad Politécnica de Madrid
(UPM). July 2018. Advisors: César Sánchez
(IMDEA Software Institute) and Clara Benac
Earle (UPM).
12. Paloma Pedregal Helft. Microarchitecture
Simulation for Security. Master Thesis. Universidad
Politécnica de Madrid (UPM). July
2018. Advisor: Boris Köpf (IMDEA Software
Institute).
13. Mario V. García Roqué. Sistemas criptográficos
de voto electrónico basados en mixservers
y proceso de implementación. Master
Thesis. Universidad Carlos III de Madrid.
September 2018. Advisors: Dario Fiore and
Antonio Faonio (IMDEA Software Institute).
14. Ivan Cosmen Gancedo. Implantación de
un sistema de gestión de ventas en una
compañía de venta al por menor. Bachelor
Thesis. Universidad Politécnica de Madrid
(UPM). July 2018. Advisor: Manuel Carro
(IMDEA Software Institute).
15. José Luis Castañón Remy. Web Browser-
Based Interactive Crawling for Security
Testing. Bachelor Thesis. Universidad
Politécnica de Madrid (UPM). July 2018.
Advisor: Avinash Sudhodanan (IMDEA Software
Institute).
9. Felipe Gorostiaga. Towards a Stream-Based
Monitoring Language for Asynchronous Systems.
Master Thesis. Universidad Politécnica
de Madrid (UPM). July 2018. Advisors:
César Sánchez (IMDEA Software Institute)
and Lars-Ake Fredlund (UPM).
16. Roberto Daniel Fernández Castro. Monitorización
y Detección de Ataques en Redes
Corporativas. Bachelor Thesis. Universidad
Politécnica de Madrid (UPM). July 2018.
Advisor: Juan Caballero (IMDEA Software
Institute).
10. Gibran Alberto Gómez Montes. Detecting
and Classifying Malicious TLS Network Traffic
using Machine Learning. Master Thesis.
Universidad Politécnica de Madrid (UPM).
July 2018. Advisor: Juan Caballero (IMDEA
Software Institute).
17. Ignacio Casso San Román. Towards Computing
Distances Among Abstract Interpretations.
Bachelor Thesis. Universidad
Complutense de Madrid (UCM). Septiembre
2018. Advisor: Manuel V. Hermenegildo
(IMDEA Software Institute).