Threat adaptive byzantine fault tolerant state-machine replication DS Silva, R Graczyk, J Decouchant, M Völp, P Esteves-Verissimo 2021 40th International Symposium on Reliable Distributed Systems (SRDS), 78-87, 2021 | 14 | 2021 |
Formal verification of a cross-layer, trustful space-time protocol for wireless sensor networks DS Silva, D Resner, RL de Souza, JE Martina Information Systems Security: 12th International Conference, ICISS 2016 …, 2016 | 6 | 2016 |
Privacy preserving on trajectories created by wi-fi connections in a university campus FO Gomes, DS Silva, BM Agostinho, JE Martina 2018 IEEE International Conference on Intelligence and Security Informatics …, 2018 | 3 | 2018 |
Resilient Threat-Adaptive Consensus D SIMOES SILVA Unilu-University of Luxembourg [Faculty of Science, Technology and Medicine …, 2023 | | 2023 |
Formal verification and access control approach of an IoT protocol DS Silva | | 2017 |
Estudo e Implementação do Padrão Visual de Assinatura Visual para PDF DS Silva | | 2013 |