La publicación científica aborda las áreas de lenguajes, modelos y paradigmas de programación, especificación, análisis y verificación de propiedades de seguridad de los programas y sistemas ciber-físicos
El primer estudio del proyecto se presentará del 14 al 16 de agosto en la USENIX Security Symposium en Philadelphia (EE.UU), una de las conferencias internacionales más importantes en esta materia