Giuseppe Galano

According to our database, Giuseppe Galano authored at least 15 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Dynamic-FROST: Schnorr threshold signatures with a flexible committee.

Annalisa Cimatti, Francesco De Sclavis, Giuseppe Galano, Sara Giammusso, Michela Iezzi, Antonio Muci, Matteo Nardelli, Marco Pedicini

J. Math. Cryptol., February, 2025

An analysis of pervasive payment channel networks for Central Bank Digital Currencies.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

Comput. Commun., 2025

Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker.

Luigi Bellomarini, Marco Favorito, Giuseppe Galano

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2025

BitML2MCMAS: Strategic Reasoning for Bitcoin Smart Contracts.

Luigi Bellomarini, Marco Favorito, Giuseppe Galano

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis.

Francesco De Sclavis, Giuseppe Galano, Aldo Glielmo, Matteo Nardelli

Proceedings of the 2025 IEEE International Conference on Blockchain and Cryptocurrency, 2025

2024

Self-Balancing Semi-Hierarchical PCNs for CBDCs.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

CoRR, 2024

Strategic Reasoning for BitML Smart Contracts.

Luigi Bellomarini, Marco Favorito, Giuseppe Galano

Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 2024

Self-Balancing Semi-Hierarchical Payment Channel Networks for Central Bank Digital Currencies.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2024

Modeling Central Bank Digital Currency over Payment Channels: A Parallel ROSS-based Approach.

Giuseppe Galano, Sara Giammusso, Matteo Nardelli

Proceedings of the 38th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2024

Towards a Full Scale Simulation of a Central Bank Digital Currency Via Payment Channel Networks.

Giuseppe Galano, Sara Giammusso, Matteo Nardelli

Proceedings of the 28th International Symposium on Distributed Simulation and Real Time Applications, 2024

Impact of Layer-1 Characteristics on Scalability of Layer-2 Semi-Hierarchical Payment Channel Networks.

Marco Benedetti, Francesco De Sclavis, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

2023

PoW-less Bitcoin with Confidential Byzantine PoA.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023

2022

A PoW-less Bitcoin with Certified Byzantine Consensus.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

CoRR, 2022

2021

Rule-based Blockchain Knowledge Graphs: Declarative AI for Solving Industrial Blockchain Challenges.

Luigi Bellomarini, Giuseppe Galano, Markus Nissl, Emanuel Sallinger

Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8, 2021