Robert Abela

According to our database, Robert Abela authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

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