Estimados estudiantes,
en la última clase de teórico, Gustavo introdujo, como práctico final del curso, un caso de estudio/aplicación de métodos formales a temas de seguridad informática.
Este correo es para comentarles la posibilidad de trabajar, por ejemplo en el marco de un proyecto de grado, en temas de interés al grupo de seguridad, que está vinculado tambien con el gurpo de métodos formales del InCo. Concretamente, los invitamos a contactarnos si desean conocer propuestas en esta dirección, que pueden involucrar temas relativos a métodos formales (por ejemplo, utilizando Coq), temás más tecnológicos o incluso vinculaciones entre los mismos. En particular, dos áreas actuales de interés del grupo (aunque no son las únicas) tienen que ver con temas de seguridad en plataformas de virtualización y dispositivos móviles (teléfonos celulares, PDAs, etc).
Bueno, les dejamos esta invitación y quedamos a vuestra disposición. Ahora, a meterle con el tramo final del curso; ya falta muy poco :)
Muchos saludos,
Gustavo y Carlos