Alejandro M. Chirivella-Ciruelos

According to our database¹, Alejandro M. Chirivella-Ciruelos authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Provenance Verification of Smart Contracts: Analysing the Cost of Ensuring Authenticity over the Logic Hosted in Blockchain Networks.

[BibT_eX]

[DOI]

Inf., 2024

2023

Automating the verification of smart contracts in blockchain networks for improving security.

[BibT_eX]

[DOI]

Proceedings of the 49th Euromicro Conference on Software Engineering and Advanced Applications, 2023