Alejandro M. Chirivella-Ciruelos

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Signature Verification

Interaction Analysis

Epistemic Logic

Top Venues

Future Gener. Comput. Syst.

J. Syst. Archit.

Publications

Marisol García-Valls, Alejandro M. Chirivella-Ciruelos
VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers. J. Syst. Archit. 153 (2024)
Marisol García-Valls, Alejandro M. Chirivella-Ciruelos
CoTwin: Collaborative improvement of digital twins enabled by blockchain. Future Gener. Comput. Syst. 157 (2024)
Marisol García-Valls, Alejandro M. Chirivella-Ciruelos
Provenance Verification of Smart Contracts: Analysing the Cost of Ensuring Authenticity over the Logic Hosted in Blockchain Networks. Inf. 15 (1) (2024)
Alejandro M. Chirivella-Ciruelos, Marisol García-Valls
Automating the verification of smart contracts in blockchain networks for improving security. SEAA (2023)