Nicola Bonassi Esquemas para compartir secretos temporizados: extensión basada en blockchain Luca Casati Análisis y comprobación de algoritmos criptograficos implementados para IoT Martino Tiziani Analisis y optimización de una implementación del cifrado McEliece