A Model Checker for the Verification of Browser Based Protocols. - Victor Ferman 001; Dieter Hutter; Raúl Monroy (Computación y Sistemas, 2017)

DNS-ADVP: A Machine Learning Anomaly Detection and Visual Platform to Protect Top-Level Domain Name Servers Against DDoS Attacks. - Luis A. Trejo; Victor Ferman 001; Miguel Angel Medina-Pérez; Fernando Miguel Arredondo Giacinti; Raúl Monroy; Jose Emmanuel Ramirez-Marquez (IEEE Access, 2019)