Browsing by Author Curmi, Axel
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
2023 | Runtime verification for trustworthy computing | Abela, Robert; Colombo, Christian; Curmi, Axel; Fenech, Mattea; Vella, Mark Joseph; Ferrando, Angelo |
2021 | Runtime verification for trustworthy secure shell deployment | Curmi, Axel; Colombo, Christian; Vella, Mark Joseph |
2022 | RV-TEE-based trustworthy secure shell deployment : an empirical evaluation | Curmi, Axel; Colombo, Christian; Vella, Mark Joseph |