Margherita Renieri

Orcid: 0000-0001-6987-1881

According to our database1, Margherita Renieri authored at least 3 papers in 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2024
0
1
2
3
4
3

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Policy Framework for Regulating External Calls in Smart Contracts.
Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Systems Security Modeling and Analysis at IMT Lucca.
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.
Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024


  Loading...