Investigadores del DCC presentarán trabajo sobre sistemas de tipos para seguridad en conferencia SecDev 2019
El artículo, “Polymorphic Relaxed Noninterference”, escrito por el estudiante de doctorado, Raimil Cruz, y el académico, Éric Tanter, trata sobre desclasificación genérica de datos sensibles.
Una investigación sobre sistemas de tipos para seguridad de lenguajes de programación presentarán el estudiante de doctorado, Raimil Cruz, y el profesor del DCC, Éric Tanter, en la …
Fte: DCC. FCFM, miércoles 21 de agosto 2019 /FQE
Categorias: Facultad de Ciencias Físicas y Matemáticas