| Titolo |
Pubblicato in |
Anno |
| Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps |
THEORETICAL COMPUTER SCIENCE |
2023 |
| Special issue on algorithmic theory of dynamic networks and Its applications |
JOURNAL OF COMPUTER AND SYSTEM SCIENCES |
2022 |
| Context-Aware Trace Alignment with Automated Planning |
Proceedings of the 4th International Conference on Process Mining, ICPM 2022 |
2022 |
| Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults |
Networked Systems. 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings |
2021 |
| Toward a Context-Aware Methodology for Information Security Governance Assessment Validation |
Cyber-Physical Security for Critical Infrastructures Protection |
2021 |
| Emerging and Established Trends to Support Secure Health Information Exchange |
FRONTIERS IN DIGITAL HEALTH |
2021 |
| Cyberthreats to Hospitals: Panacea, a Toolkit for People-Centric Cybersecurity |
STRATEGIC INNOVATION AND SUSTAINABILITY |
2021 |
| Practical Byzantine Reliable Broadcast on Partially Connected Networks |
2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS) |
2021 |
| BUCEPHALUS: a BUsiness CEntric cybersecurity Platform for proActive anaLysis Using visual analyticS |
2021 IEEE Symposium on Visualization for Cyber Security (VizSec) |
2021 |
| B-CoC: A blockchain-based chain of custody for evidences management in digital forensics |
International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019) |
2020 |
| Boosting the Efficiency of Byzantine-Tolerant Reliable Communication |
|
2020 |
| Cyber-attacks and threats for healthcare - A multi-layer thread analysis |
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS |
2020 |
| Synchronous byzantine lattice agreement in O(log(f)) rounds |
Proceedings - International Conference on Distributed Computing Systems |
2020 |
| Multi-hop Byzantine reliable broadcast with honest dealer made practical |
JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY |
2019 |
| PASCAL: An architecture for proactive auto-scaling of distributed services |
FUTURE GENERATION COMPUTER SYSTEMS |
2019 |
| MAD: A visual analytics solution for Multi-step cyber Attacks Detection |
JOURNAL OF COMPUTER LANGUAGES |
2019 |
| Building an emulation environment for cyber security analyses of complex networked systems |
ACM International Conference Proceeding Series |
2019 |
| Elastic Symbiotic Scaling of Operators and Resources in Stream Processing Systems |
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS |
2018 |
| Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register |
THEORETICAL COMPUTER SCIENCE |
2018 |
| An attack graph-based on-line multi-step attack detector |
ICDCN '18 Proceedings of the 19th International Conference on Distributed Computing and Networking |
2018 |
