Robert Abela

According to our database, Robert Abela authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

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

2021

RV-TEE: secure cryptographic protocol execution based on runtime verification.

Mark Vella, Christian Colombo, Robert Abela, Peter Spacek

J. Comput. Virol. Hacking Tech., 2021

Casting exploit analysis as a Weird Machine reconstruction problem.

Robert Abela, Mark Vella

CoRR, 2021

Secure Implementation of a Quantum-Future GAKE Protocol.

Robert Abela, Christian Colombo, Peter Malo, Peter Sýs, Tomás Fabsic, Ondrej Gallo, Viliam Hromada, Mark Vella

Proceedings of the Security and Trust Management - 17th International Workshop, 2021