Browsing by Supervisor "Malik, Robi"
Now showing items 1-6 of 6
-
Behaviour-based classification of encryption-type ransomware using system calls
(The University of Waikato, 2023)The malware landscape is ever-changing, with threat actors utilising more sophisticated techniques to compromise data. As the usage of smartphones increases, more threat actors will turn their attention to capitalise on ... -
Efficient compilation of a verification-friendly programming language
(The University of Waikato, 2019)This thesis develops a compiler to convert a program written in the verification friendly programming language Whiley into an efficient implementation in C. Our compiler uses a mixture of static analysis, run-time monitoring ... -
Model checking for cloud autoscaling using WATERS
(The University of Waikato, 2020)This thesis investigates the use of formal methods to verify cloud system designs against Service Level Agreements (SLAs), towards providing guarantees under uncertainty. We used WATERS (the Waikato Analysis Toolkit for ... -
On Conflicts in Concurrent Systems
(University of Waikato, 2014)This dissertation studies conflicts. A conflict is a bug in concurrent systems where one or more components of the system may potentially be blocked from completing their task. This dissertation investigates how nonconflicting ... -
Partial Order Reduction with Compositional Verification
(University of Waikato, 2014)This thesis expands the usage of partial order reduction methods in reducing the state space of large models in model checking. The work done can be divided into two parts. In the first part we introduce two new ample ... -
Towards predictive runtime modelling of Kubernetes microservices
(The University of Waikato, 2021)Kubernetes is one of the major container management platforms utilised by Cloud Service Providers offering to host applications and services. As cloud based services become more prevalent, platform providers are faced with ...
