Publications

David Cerezo's Publications
Talk slides:

Seguridad en Java: sobre la construcción formal de máquinas virtuales

View talk slides

Computación y criptografía cuánticas

View talk slides

Prevención, detección y contención de ataques de denegación de servicio

View talk slides