Giuseppe Galano

17 papers A 1C 5Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
An analysis of pervasive payment channel networks for Central Bank Digital Currencies.
Comput. Commun.
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2025 A conf
BitML2MCMAS: Strategic Reasoning for Bitcoin Smart Contracts.
AAMAS
Luigi Bellomarini, Marco Favorito, Giuseppe Galano
2025 J jnl
Dynamic-FROST: Schnorr threshold signatures with a flexible committee.
J. Math. Cryptol.
Annalisa Cimatti, Francesco De Sclavis, Giuseppe Galano, Sara Giammusso, Michela Iezzi, Antonio Muci, Matteo Nardelli, Marco Pedicini
2025 — conf
Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker.
PerCom Workshops
Luigi Bellomarini, Marco Favorito, Giuseppe Galano
2025 C conf
Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis.
ICBC
Francesco De Sclavis, Giuseppe Galano, Aldo Glielmo, Matteo Nardelli
2024 J jnl
Dynamic-FROST: Schnorr Threshold Signatures with a Flexible Committee.
IACR Cryptol. ePrint Arch.
Annalisa Cimatti, Francesco De Sclavis, Giuseppe Galano, Sara Giammusso, Michela Iezzi, Antonio Muci, Matteo Nardelli, Marco Pedicini
2024 C conf
Impact of Layer-1 Characteristics on Scalability of Layer-2 Semi-Hierarchical Payment Channel Networks.
DLT
Marco Benedetti, Francesco De Sclavis, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2024 — conf
Modeling Central Bank Digital Currency over Payment Channels: A Parallel ROSS-based Approach.
SIGSIM-PADS
Giuseppe Galano, Sara Giammusso, Matteo Nardelli
2024 J jnl
Self-Balancing Semi-Hierarchical PCNs for CBDCs.
CoRR
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2024 — conf
Self-Balancing Semi-Hierarchical Payment Channel Networks for Central Bank Digital Currencies.
PerCom Workshops
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2024 — conf
Strategic Reasoning for BitML Smart Contracts.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Luigi Bellomarini, Marco Favorito, Giuseppe Galano
2024 C conf
Towards a Full Scale Simulation of a Central Bank Digital Currency Via Payment Channel Networks.
DS-RT
Giuseppe Galano, Sara Giammusso, Matteo Nardelli
2024 J jnl
Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis.
CoRR
Francesco De Sclavis, Giuseppe Galano, Aldo Glielmo, Matteo Nardelli
2023 C conf
Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT.
DLT
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2023 C conf
PoW-less Bitcoin with Confidential Byzantine PoA.
ICBC
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2022 J jnl
A PoW-less Bitcoin with Certified Byzantine Consensus.
CoRR
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2021 — conf
Rule-based Blockchain Knowledge Graphs: Declarative AI for Solving Industrial Blockchain Challenges.
RuleML+RR (Supplement)
Luigi Bellomarini, Giuseppe Galano, Markus Nissl, Emanuel Sallinger