Robert Abela

Publication Activity (10 Years)

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

Top Topics

Authentication Protocol

Trust Management

Security Protocols

Top Venues

J. Comput. Virol. Hacking Tech.

Publications

Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando
Runtime Verification for Trustworthy Computing. AREA@ECAI (2023)
Robert Abela, Mark Vella
Casting exploit analysis as a Weird Machine reconstruction problem. CoRR (2021)
Robert Abela, Christian Colombo, Peter Malo, Peter Sýs, Tomás Fabsic, Ondrej Gallo, Viliam Hromada, Mark Vella
Secure Implementation of a Quantum-Future GAKE Protocol. STM (2021)
Mark Vella, Christian Colombo, Robert Abela, Peter Spacek
RV-TEE: secure cryptographic protocol execution based on runtime verification. J. Comput. Virol. Hacking Tech. 17 (3) (2021)