2 papers
cs.DM2025
Certified algorithms for numerical semigroups in Rocq
Massimo Bartoletti, Stefano Bonzio, Marco Ferrara
A numerical semigroup is a co-finite submonoid of the monoid of non-negative integers under addition. Many properties of numerical semigroups rely on some fundamental invariants, s…
cs.CR2025
A quantitative notion of economic security for smart contract compositions
Emily Priyadarshini, Massimo Bartoletti
Decentralized applications are often composed of multiple interconnected smart contracts. This is especially evident in DeFi, where protocols are heavily intertwined and rely on a…