Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks. - Douglas Simões Silva; Davi Resner; Rick Lopes de Souza; Jean Everson Martina (ICISS, 2016)

Privacy Preserving on Trajectories Created by Wi-Fi Connections in a University Campus. - Fernanda Oliveira Gomes; Douglas Simões Silva; Bruno Machado Agostinho; Jean Everson Martina (ISI, 2018)

Threat Adaptive Byzantine Fault Tolerant State-Machine Replication. - Douglas Simões Silva; Rafal Graczyk; Jérémie Decouchant; Marcus Völp; Paulo Esteves Veríssimo (SRDS, 2021)

Resilient Threat-Adaptive Consensus. - Douglas Simões Silva (2023)