Actualmente doy un pequeño curso (cuatro conferencias de dos horas a nivel de maestría) sobre Métodos lógicos en seguridad , aunque el título Métodos formales en seguridad podría ser más adecuado. Cubre brevemente los siguientes temas (con métodos lógicos asociados):
Gestión de derechos digitales y aplicación de políticas (formalización general, lógica modal, aplicación a través de autómatas)
Código de prueba y autenticación de prueba (teoría de prueba, sistemas lógicos, isomorfismo de Curry-Howard, verificación)
Control de acceso (lógicas no clásicas, teoría de la prueba)
Inspección de pila (semántica de lenguaje de programación, equivalencia contextual, bisimulación)
Naturalmente, el curso tiene múltiples objetivos, donde uno de ellos es atraer a potenciales estudiantes graduados.
En los próximos años, el curso puede ampliarse a un curso regular, que necesitará más contenido. Dado que los antecedentes de las personas aquí son bastante diferentes a los míos, me gustaría saber qué contenido incluirías en dicho curso.