Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • IoT devices present many exciting applications for both industrial and consumer use. However, increased dependence on these devices opens up new consequences and attack vectors that an adversary can use to attack a target. This is of particular importance in the case of IoT devices connected to smart grid infrastructure as cyber-attacks could be used to disrupt critical national infrastructure. Currently, many IoT devices are very susceptible to cyber-attack due to insufficient or poorly implemented security practices. This project aims to produce and model a collection of policies and protocols that are suitable for mitigating the threats that a smart grid connected IoT device may face. I wish to focus on the following goals within this project: - Investigating and conducting a risk assessment on the main vulnerabilities and threats faced by IoT devices within this scenario. - Recommend security policies that can mitigate these threats, justifying these policies taking into account secondary factors including the cost to implement and any loss to productivity these policies might incur. - Model these policies using Scyther, a formal method based protocol verification tool. The scope of this project will be investigating and modelling the best policies and procedures for IoT devices in the smart grid/energy sector.

    Updated
  • MatLAB files for implementing data driven methods such as Proper Orthogonal Decomposition, Extended Proper Orthogonal Decomposition, and Dynamic Mode Decomposition, including functions for ease of plotting results and calculating power spectra.

    Updated
  • Game for LaFortuna board

    Updated
  • A simple sprite library for the LaFortuna board from Computer Systems II.

    Updated
  • There are hundreds of cyber security compliance standards, and many businesses require their partner companies to comply with numerous standards. Keeping track of each company’s compliance to a particular standard is a lengthy and potentially expensive task since it can be very difficult to maintain without the use of an external service or consultant. Most SMEs will not be able to afford this - due to the time and experience level required, it might not be something a system administrator can do on top of their other responsibilities, and a consultant might be too expensive. An automatically generated cyber security compliance engine, could provide a low cost, time efficient solution for businesses that need a flexible, customisable way of tracking their partner’s compliance, or their own compliance, with multiple standards. The goal of this project is to create a client-server system that will generate and store compliance forms for the end user. The forms will be automatically generated from a CSV file supplied by an ‘admin’, and accessible by ‘users’. This will include the ability to update the forms at a later date. This project is a client-server system only, not an application, and it will deal with cyber security compliance only - no other forms of compliance will be within the scope of this project.

    Updated
  • This is my game for the LaFortuna. use the rotary encoder to move the Mars Rover out of the way of the incoming space rocks.

    Updated
  • Code etc for a short 'Intro to R/RStudio/RMarkdown' session

    Updated
  • SERG / SERL

    Repo to support work on the SERL project (https://serl.ac.uk/)

    Updated
  • This is a simple script to show the information of queueing or running jobs on Iridis. You can modify it to make it using properly on other clusters.

    Updated
  • Code to support FEEG masters level module 'Data Analysis & Experimental Methods'

    Updated
  • visualising UKSA orbital data in virtual reality.

    Updated
  • Processing the .csv file from microsoft outlook to plot the number of hours spent on different projects.

    Updated
  • Library, build system and examples for ManagedState, a memory manager that uses paged memory to improve the efficiency of state retention in reactive intermittent computing.

    Updated