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 conferencia …
Fte: DCC. FCFM, lunes 19 de agosto 2019 /FQE
Categorias: Facultad de Ciencias Físicas y Matemáticas