2 papers
cs.CY2025
Exploring Moral Exercises for Human Oversight of AI systems: Insights from Three Pilot Studies
Silvia Crafa, Teresa Scantamburlo
This paper elaborates on the concept of moral exercises as a means to help AI actors cultivate virtues that enable effective human oversight of AI systems. We explore the conceptua…
cs.CR2025
Formal verification in Solidity and Move: insights from a comparative analysis
Massimo Bartoletti, Silvia Crafa, Enrico Lipparini
Formal verification plays a crucial role in making smart contracts safer, being able to find bugs or to guarantee their absence, as well as checking whether the business logic is c…