Multi-factor Authentication in Key Management Systems. - Rick Lopes de Souza; Lau Cheuk Lung; Ricardo Felipe Custódio (TrustCom/ISPA/IUCC, 2013)

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)

Secret Sharing Schemes with Hidden Sets. - Rick Lopes de Souza; Martín A. Gagliotti Vigil; Ricardo Felipe Custódio; Florian Caullery; Lucia Moura; Daniel Panario (ISCC, 2018)