Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis (BLOQUES-CM) - Benac Earle, Clara (Miembro de equipo) (2019)