Margherita Renieri

According to our database, Margherita Renieri authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

Tackling the Gender Gap in Cybersecurity Education.

Gabriele Costa, Silvia de Francisci, Margherita Renieri, Serenella Valiani

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, 2025

2024

A Policy Framework for Regulating External Calls in Smart Contracts.

Margherita Renieri, Letterio Galletta

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Systems Security Modeling and Analysis at IMT Lucca.

Gabriele Costa, Silvia de Francisci, Letterio Galletta, Cosimo Perini Brogi, Marinella Petrocchi, Fabio Pinelli, Roberto Pizziol, Manuel Pratelli, Margherita Renieri, Simone Soderi, Mirco Tribastone, Serenella Valiani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

A Netting Protocol for Liquidity-saving Automated Market Makers.

Margherita Renieri, Letterio Galletta, Alberto Lluch-Lafuente, James Hsin-yu Chiang

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