Browse by Director

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 23.

Thesis

Arias Herrero, Joaquín (2019). Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints. Thesis (Doctoral), E.T.S. de Ingenieros Informáticos (UPM). https://doi.org/10.20868/UPM.thesis.58189.

Kuhring, Lucas (2019). Implementation of a low-latency distributed ledger. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Gómez Montes, Gibran Alberto (2018). Detecting and classifying malicious TLS network traffic using machine learning. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Kulynych, Bogdan (2017). ClaimChain: decentralized public key infrastructure. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Sánchez Medrano, María del Carmen (2017). Enhancing online banking authentication using Keystroke Dynamics. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Feal Fajardo, Álvaro (2017). Study on privacy of parental control mobile applications. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Arias Herrero, Joaquín (2015). Design and implementation of a modular interface to integrate CLP and tabled execution. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Ramos Gutiérrez, Guillermo (2015). Implementing a term rewriting engine for the EasyCrypt framework. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Klemen, Maximiliano (2015). Improved static analysis and verification of energy consumption and other resources via abstract interpretation. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Russo, Rosario (2015). A framework for implementing outsourcing schemes. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Khyzha, Artem (2014). Concurrent library abstraction without information hiding. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Ivanovic, Dragan (2013). Analysis of service-oriented computing systems. Thesis (Doctoral), Facultad de Informática (UPM).

Shabaninejad, Shiva (2012). Valuation: Developer support for by-references to by-value type conversion.. Thesis (Master thesis), Facultad de Informática (UPM).

Chico de Guzmán, Pablo (2012). Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs . Thesis (Doctoral), Facultad de Informática (UPM).

Morales Caballero, José Francisco (2010). Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica . Thesis (Doctoral), Facultad de Informática (UPM).

Final Project

Sánchez Marín, Andrés (2019). Detecting speculative information flows on large code-bases. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Castañón Remy, José Luis (2018). Web browser-based interactive crawling for security testing. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Cosmen Gancedo, Iván (2018). Implantación de un sistema de gestión de ventas en una compañía de venta al por menor. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Querol Cruz, Anais (2017). Cryptographic methods for secure delegation of computation in electronic voting applications. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Chica Manjarrez, Sergio (2017). Diseño e implementación de un módulo para identificar código compartido entre ejecutables maliciosos.. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Sebastián González, Silvia (2017). Diseño e implementación de un módulo para la detección de aplicaciones móviles maliciosas en mercados online. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Ranchal Pedrosa, Alejandro (2016). Implementing fully homomorphic encryption schemes in FPGA-based systems. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Arias Herrero, Joaquín (2014). Manejo de memoria en programación lógica con tabulación. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM