IMDEA Software

Iniciativa IMDEA

Inicio > Investigación > Publicaciones > bscthesis
Filter

Tesis de Grado (29)

  1. Imperative Notation for Logic Programming
    Paula Corral.
    BSc Thesis. Universidad Politécnica de Madrid, ETSIInf. junio 2025.
  2. 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. junio 2024.
  3. Fuzzing RISC-V Processors for Speculative Leaks
    Eric García Arribas.
    BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Marco Guarnieri, Manuel Carro. junio 2023.
  4. 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. mayo 2023.
  5. Browser Fingerprinting Detection and Mitigation Framework
    Karthik Ramakrishnan.
    BSc Thesis. Manipal Institute of Technology (MIT). Supervisors: Srdjan Matic, Juan Caballero, Sudheesh Puthenveettil Gopi. julio 2022.
  6. 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. junio 2022.
  7. 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. junio 2021.
  8. 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. junio 2020.
  9. Analysis of Smart Contracts using Horn Clauses
    Víctor Pérez Carrasco.
    BSc Thesis. Universidad Politécnica de Madrid, ETSII. junio 2020.
  10. 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. junio 2019.
  11. 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. enero 2019.
  12. 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. enero 2019.
  13. 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. septiembre 2018.
  14. 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. julio 2018.
  15. 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. julio 2018.
  16. 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. julio 2018.
  17. 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. junio 2017.
  18. 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. junio 2017.
  19. 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. junio 2017.
  20. 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. junio 2017.
  21. Automatic Testing Platform for Android Apps
    Sergio Valverde García.
    BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Alessandra Gorla, Manuel Carro. junio 2017.
  22. 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. junio 2017.
  23. 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. enero 2017.
  24. 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. julio 2016.
  25. 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. mayo 2016.
  26. Languages and Security
    Pedro Valero Mejía.
    BSc Thesis. Universidad Autónoma de Madrid (UAM). Supervisors: Pierre Ganty, Eloy Anguiano Rey. mayo 2016.
  27. 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. enero 2016.
  28. 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. enero 2015.
  29. Chameleon Vector Commitments
    Johannes Krupp.
    BSc Thesis. Saarland University (Saarland University). Supervisors: Dario Fiore, Dominique Schröder. marzo 2014.