Filter

Bachelor's Theses (29)

Imperative Notation for Logic Programming

Paula Corral.

BSc Thesis. Universidad Politécnica de Madrid, ETSIInf. June 2025.
Improvements in Ciao Prolog's Development Environment: Developing A Rich Development Environment for Ciao on Visual Studio Code

Marco Ciccalè.

BSc Thesis. Universidad Politécnica de Madrid, ETSIInf. June 2024.
Fuzzing RISC-V Processors for Speculative Leaks

Eric García Arribas.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Marco Guarnieri, Manuel Carro. June 2023.
Enumeration and Classification of Subdomains for Security Research through the lens of Public Suffix List

Siddharth Balyan.

BSc Thesis. Sushant University (SU). Supervisors: Juan Caballero, Srdjan Matic, Latika Singh. May 2023.
Browser Fingerprinting Detection and Mitigation Framework

Karthik Ramakrishnan.

BSc Thesis. Manipal Institute of Technology (MIT). Supervisors: Srdjan Matic, Juan Caballero, Sudheesh Puthenveettil Gopi. July 2022.
Sistemas de restricciones algebraicas para pruebas criptográficas aplicado a SHA-256

Miguel Morona Minguez.

BSc Thesis. Universidad Complutense de Madrid (UCM). Supervisors: Ignacio Cascudo, Dario Fiore, Ignacio Luengo Velasco. June 2022.
A Platform for Automating the Preparation of iOS Apps for Binary Analysis

Alejandro de la Cruz Alvarado.

BSc Thesis. Universidad Carlos III de Madrid (UC3M). Supervisors: Juan Caballero, Ana Isabel González-Tablas Ferreres. June 2021.
Mejora de un Sistema de Autodocumentación Basado en Comentarios Legibles Mecánicamente y Aserciones.: LPDowner

Natalia Carpizo.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Manuel Hermenegildo, Jose Francisco Morales, Pedro López, Manuel Hermenegildo. June 2020.
Analysis of Smart Contracts using Horn Clauses

Víctor Pérez Carrasco.

BSc Thesis. Universidad Politécnica de Madrid, ETSII. June 2020.
Detecting Speculative Information-Flows in Large Code Bases

Andrés Sánchez Marín.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Marco Guarnieri, José Francisco Morales, Manuel Carro. June 2019.
Análisis de las características de las herramientas de testing automático de aplicaciones Android de la plataforma Androtest on Docker

Jose Carlos Garde González.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Alessandra Gorla, Angel Herranz Nieva. January 2019.
Herramienta de Actualización Automática de Tests para Android

Guillermo Paredes López.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Alessandra Gorla, Angel Herranz Nieva. January 2019.
Towards Computing Distances Among Abstract Interpretations

Ignacio Casso San Román.

BSc Thesis. Universidad Complutense de Madrid (UCM). Supervisors: Manuel Hermenegildo, Francisco J. López Fraguas. September 2018.
Implantación de un sistema de gestión de ventas en una compañía de venta al por menor

Ivan Cosmen Gancedo.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Manuel Carro, Manuel Carro. July 2018.
Web Browser-Based Interactive Crawling for Security Testing

José Luis Castañón Remy.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Avinash Sudhodanan, Manuel Carro. July 2018.
Monitorización y Detección de Ataques en Redes Corporativas

Roberto Daniel Fernández Castro.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Juan Caballero, Manuel Carro. July 2018.
Cryptographic Methods for Secure Delegation of Computation in Electronic Voting Applications

Anaïs Querol Cruz.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Dario Fiore, Manuel Carro. June 2017.
Implementación de un Algoritmo de Búsqueda Aleatoria en Programación Lógica

Inés Blázquez Ballesteros.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Jose Francisco Morales, Manuel Hermenegildo. June 2017.
Diseño e Implementación de un Módulo para Identificar Código Compartido entre Ejecutables Maliciosos

Sergio Chica Manjarrez.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Juan Caballero, Manuel Carro. June 2017.
ToraDocu – Generacion Automática de Casos de Test con Oráculos

Sergio Delgado.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Alessandra Gorla, Damiano Zanardini. June 2017.
Automatic Testing Platform for Android Apps

Sergio Valverde García.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Alessandra Gorla, Manuel Carro. June 2017.
Diseño e Implementación de un Módulo para la Detección de Aplicaciones Móviles Maliciosas en Mercados Online

Silvia Sebastián González.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Juan Caballero, Manuel Carro. June 2017.
Study of Privacy in Social Network Plug-Ins

Miguel Pozo Ruiz.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Alessandra Gorla, Carmela Troncoso, Ángel Rodríguez. January 2017.
Pruebas de Primer Orden de Programas Concurrentes

Víctor de Juan Sanz.

BSc Thesis. Universidad Autónoma de Madrid (UAM). Supervisors: Cesar Sanchez, Juan de Lara. July 2016.
Linearisation of k-Index Bounded Sets of Horn Clauses

Elena Gutiérrez Viedma.

BSc Thesis. Universidad Autónoma de Madrid (UAM). Supervisors: Pierre Ganty, Jesús Munárriz Aldaz. May 2016.
Languages and Security

Pedro Valero Mejía.

BSc Thesis. Universidad Autónoma de Madrid (UAM). Supervisors: Pierre Ganty, Eloy Anguiano Rey. May 2016.
Implementing Fully Homomorphic Encryption Schemes in FPGA-based Systems

Alejandro Ranchal Pedrosa.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Guillermo Vigueras, Dario Fiore, Manuel Carro. January 2016.
Design and Implementation of an Endpoint Reputation Module

Marcos Sebastián Alarcón.

BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Juan Caballero, Manuel Carro. January 2015.
Chameleon Vector Commitments

Johannes Krupp.

BSc Thesis. Saarland University (Saarland University). Supervisors: Dario Fiore, Dominique Schröder. March 2014.