RICCOBENE, ELVINIA MARIA
RICCOBENE, ELVINIA MARIA
Dipartimento di Informatica Giovanni Degli Antoni
BlockHealth: a Blockchain based Framework for Secure and Efficient Healthcare Data Management
2026 C. Braghin, S. Cimato, S. Pesci, E. Riccobene
Formal Verification of Decentralized Autonomous Organizations
2026 S. Valentini, S. Avanzo, E. Riccobene
Fuzzing Executable ASMETA Models
2026 G. Bellini, E. Riccobene
AProVer Front-End Modelling Language for Designing Security Protocols
2025 C. Braghin, M. Lilli, E. Riccobene
Security Assessment of Interacting Ethereum Smart Contracts
2025 C. Braghin, E. Riccobene, S. Valentini
A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems
2025 S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines
2025 S. Bonfanti, E. Riccobene, P. Scandurra
SIMSPIRE: A Simulator of the Respiratory System
2025 A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene
ASMETA Tool Set for Rigorous System Design
2025 A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts
2025 C. Braghin, G. Del Castillo, E. Riccobene, S. Valentini
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems
2024 A. Bombarda, S. Bonfanti, M. De Sanctis, A. Gargantini, P. Pelliccione, E. Riccobene, P. Scandurra
An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts
2024 C. Braghin, E. Riccobene, S. Valentini
Modeling and verification of smart contracts with Abstract State Machines
2024 C. Braghin, E. Riccobene, S. Valentini
A Modeling and Verification Framework for Ethereum Smart Contracts
2024 S. Valentini, C. Braghin, E. Riccobene
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features
2024 P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
Kant: A Domain-Specific Language for Modeling Security Protocols
2024 C. Braghin, M. Lilli, E. Riccobene, E. Notari, M. Baba
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
2023 S. Bonfanti, E. Riccobene, D. Santandrea, P. Scandurra
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device
2023 M.M. Bersani, C. Braghin, A. Gargantini, R. Mirandola, E. Riccobene, P. Scandurra
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study
2023 C. Braghin, M. Lilli, E. Riccobene
A component framework for the runtime enforcement of safety properties
2023 S. Bonfanti, E. Riccobene, P. Scandurra