Supervisor(s): Dr. Ryan Ko, Omar Jarkas

This research evaluates the security resilience of the Keylime remote attestation framework against adversarial attacks in cloud environments. Through controlled experiments simulating database poisoning and MITM attacks, the study reveals that while Keylime's cryptographic mechanisms prevent unauthorised trust, vulnerabilities exist in database state management.

Supervisor(s): Paul Vrbik

Many seemingly unrelated problems can be modelled as problems of inference. However, in the absence of a generic algorithm to solve inference problems, each problem still requires its own solution. We present a Haskell library that implements a generic inference algorithm, allowing any inference problem to be solved using a single algorithm.

Supervisor(s): Helena Tirtaputra, Julia Drugova, Thilina Halloluwa, Mashhuda Glencross, Jason Weigel

Kenduri is an interactive event layout and seating management system designed for medium to large events such as weddings, conferences, and award ceremonies. Unlike traditional spreadsheets and static floor plans that often cause miscommunication and inflexibility, Kenduri streamlines coordination through drag-and-drop floor plan design, guest list management with CSV import/export, and an optimis

Supervisor(s): Jen Jen Chung, Brendan Tidd

Humans are inherently able to safely navigate in dynamic, populated environments in ways that robots are not. Designing a way to map these traits from a person onto the robot would create pathways for collecting training data for automating robots in dynamic environments.