Axel Curmi

According to our database, Axel Curmi authored at least 6 papers between 2018 and 2024.

Collaborative distances:

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

2024

RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors.

Christian Colombo, Axel Curmi, Robert Abela

Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, 2024

2023

Runtime Verification for Trustworthy Computing.

Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, 2023

2022

RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation.

Axel Curmi, Christian Colombo, Mark Vella

J. Object Technol., 2022

2021

Runtime verification for trustworthy secure shell deployment.

Axel Curmi, Christian Colombo, Mark Vella

Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

2019

Academic Achievement Recognition and Verification Using Blockchain.

Axel Curmi, Frankie Inguanez

Proceedings of the Euro-Par 2019: Parallel Processing Workshops, 2019

2018

BlockChain Based Certificate Verification Platform.

Axel Curmi, Frankie Inguanez

Proceedings of the Business Information Systems Workshops, 2018