Explore projects

Slim implementation of the IVMC Split simulations, along with a full copy of M4M and experiment generators.

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.

This repository instantiates Custom Accelerators, SoCLabs IP and Physical Libraries to create a custom SoC

Game for LaFortuna board

A PyTorch-based Speech Toolkit

The Yocto layer of the Minimal Autonomous Rover (MAR) project for fast booting, written in BitBake

Caveat: You are discouraged to use the RHEL virtual machines provided to students by iSolutions. You need at least 200 GiB of free disk space and around half of a day to compile and build the full system. Please allocate more disk space if possible to avoid repartitioning your virtual machine hard disk. You have been warned.

Data Management Coursework

COMP3200 Individual Project, making a posit adder and multiplier

Code repository for all our SEG coursework. Remember to keep backups of all your work on local devices, in case it goes down

Fork of CHIPKIT

The RMASBench benchmarking tool