Verificación automática del protocolo TLS 1.3 usando Maude-NPA

[ES] La importancia de la confidencialidad y seguridad en las tecnologías de la información es un tema en el que poco a poco más entidades tanto públicas como privadas aúnan esfuerzos con el fin de conseguir entornos más seguros y robustos frente a los atacantes. El protocolo TLS tiene un papel fundamental en el establecimiento de conexiones seguras sobre medios no seguros como es Internet. Es ampliamente utilizado hoy en día en todos los navegadores y en informática en general por lo que la razón de este trabajo se fundamenta en el estudio de las propiedades de seguridad de este protocolo criptográfico mediante el uso de Maude-NPA, herramienta de verificación de protocolos criptográficos de comunicación utilizada para dicho análisis. A lo largo de este trabajo se profundizará en la herramienta Maude-NPA, el protocolo TLS, el estado del arte en el análisis de este protocolo con herramienta similares como Tamarin y una comparativa de resultados obtenidos con Maude-NPA frente a los ya extraídos con Tamarin.Lluch Palop, J. (2019). Verificación automática del protocolo TLS 1.3 usando Maude-NPA. http://hdl.handle.net/10251/130041TFG

Mejorar el bienestar de los seniors a través de técnicas de respuesta fisiológica y registro de la mirada

El Instituto de Biomecánica (IBV) ha determinado la influencia del color de las estancias de un centro residencial en el estado emocional de las personas mayores, así como en la mejora de la orientación y deambulación. Para ello, se han utilizado técnicas basadas en el análisis de la respuesta fisiológica y seguimiento de la mirada, que permiten obtener información sobre usuarios, de forma objetiva y cuantitativa, y sin interferir en sus actividades. Los resultados muestran el impacto del color en la respuesta emocional de los seniors, así como la utilidad de las técnicas del IBV para obtener dicha información de detalle sobre respuestas emocionales y cognitivas, como la relajación, el estrés o la capacidad de orientación