Collaborated with:V.Rahli I.Vukotic M.Völp
Talks about:byzantin (2) fault (2) trustworthi (1) velisario (1) asphalion (1) protocol (1) against (1) shield (1) toler (1) power (1)
Person: Paulo Jorge Esteves Veríssimo
DBLP: Ver=iacute=ssimo:Paulo_Jorge_Esteves
Contributed to:
2018
2019Wrote 2 papers:
- ESOP-2018-RahliVVV #coq #fault tolerance #named #protocol
- Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq (VR, IV, MV, PJEV), pp. 619–650.
- OOPSLA-2019-VukoticRV #fault #named
- Asphalion: trustworthy shielding against Byzantine faults (IV, VR, PJEV), p. 32.