Prevención, detección y contención de ataques de denegación de servicio
Criptografía y computación cuánticas
Diseño formal de máquinas virtuales Java
