1. OAR@UM

Browsing by Author Abela, Robert

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 3 to 7 of 7 < previous 
Issue DateTitleAuthor(s)
2002Judicial accountability and impeachment.Abela, Robert
2016Retrieving exploit-level semantics from malicious scripts using program memory analysisAbela, Robert
2023Runtime verification for trustworthy computingAbela, Robert; Colombo, Christian; Curmi, Axel; Fenech, Mattea; Vella, Mark Joseph; Ferrando, Angelo
2021RV-TEE : secure cryptographic protocol execution based on runtime verificationVella, Mark Joseph; Colombo, Christian; Abela, Robert; Špaček, Peter
2021Secure implementation of a quantum-future GAKE protocolAbela, Robert; Colombo, Christian; Malo, Peter; Sýs, Peter; Fabšič, Tomáš; Gallo, Ondrej; Hromada, Viliam; Vella, Mark Joseph
Showing results 3 to 7 of 7 < previous