Security in Wireless Sensor Networks: A formal verification of protocols. - Giann Spilere Nandi; David Pereira; Martín Vigil; Ricardo de Moraes; Analúcia Schiaffino Morales; Gustavo Medeiros de Araújo (INDIN, 2019)

Accurate and decentralized timestamping using smart contracts on the Ethereum blockchain. - Gabriel Estevam; Lucas M. Palma; Luan R. Silva; Jean Everson Martina; Martín Vigil (Inf. Process. Manag., 2021)