Match!
Paulo Veríssimo
University of Luxembourg
270Publications
38H-index
6,468Citations
Publications 270
Newest
#1Jeremie Decouchant (University of Luxembourg)H-Index: 4
#2Antoine Boutet (University of Lyon)H-Index: 8
Last.Paulo Veríssimo (University of Luxembourg)H-Index: 38
view all 4 authors...
#1Antonio Augusto Frohlich (UFSC: Universidade Federal de Santa Catarina)H-Index: 12
#2Roberto Milton Scheffel (UFSC: Universidade Federal de Santa Catarina)H-Index: 1
Last.Paulo Veríssimo (University of Luxembourg)H-Index: 38
view all 4 authors...
Wireless sensor networks (WSNs), often adhering to a single gateway architecture, constitute the communication backbone for many modern cyber-physical systems (CPSs). Consequently, fault-tolerance in CPS becomes a challenging task, especially when accounting for failures (potentially malicious) that incapacitate the gateway or disrupt the nodes-gateway communication, not to mention the energy, timeliness, and security constraints demanded by CPS domains. This paper aims at ameliorating the fault...
Source
#1Jiangshan YuH-Index: 7
#2Man Ho Allen AuH-Index: 1
Last.Paulo VeríssimoH-Index: 38
view all 3 authors...
1 Citations
#1Maria Fernandes (University of Luxembourg)H-Index: 1
#2Jeremie Decouchant (University of Luxembourg)H-Index: 4
Last.Paulo Veríssimo (University of Luxembourg)H-Index: 38
view all 5 authors...
Source
#1Tong CaoH-Index: 1
#2Jiangshan YuH-Index: 7
Last.Paulo VeríssimoH-Index: 38
view all 5 authors...
2 Citations
#1Tong Cao (University of Luxembourg)H-Index: 1
#2Jiangshan Yu (University of Luxembourg)H-Index: 7
Last.Paulo Veríssimo (University of Luxembourg)H-Index: 38
view all 4 authors...
#1Vincent Rahli (University of Luxembourg)H-Index: 9
#2Ivana Vukotic (University of Luxembourg)H-Index: 2
Last.Paulo Veríssimo (University of Luxembourg)H-Index: 38
view all 4 authors...
Our increasing dependence on complex and critical information infrastructures and the emerging threat of sophisticated attacks, ask for extended efforts to ensure the correctness and security of these systems. Byzantine fault-tolerant state-machine replication (BFT-SMR) provides a way to harden such systems. It ensures that they maintain correctness and availability in an application-agnostic way, provided that the replication protocol is correct and at least \(n-f\) out of n replicas survive ar...
5 CitationsSource
#2Jiangshan YuH-Index: 7
Last.Paulo Veríssimo (University of Luxembourg)H-Index: 38
view all 4 authors...
#1Jiangshan YuH-Index: 7
#2David KozhayaH-Index: 1
Last.Paulo VeríssimoH-Index: 38
view all 4 authors...
#1Marcus Völp (University of Luxembourg)H-Index: 11
#2David Kozhaya (University of Luxembourg)H-Index: 1
Last.Paulo Veríssimo (University of Luxembourg)H-Index: 38
view all 3 authors...
12345678910