Explore projects

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.

A set of challenges for functional programming in Haskell.

M4M sources and experiment generation scripts.

Inventory management for disaster relief

My coursework for University of Southampton Distributed Systems and Networks module (COMP2207)

An interpreter of the barebones language written in Java.

Haskell program to validate credit card numbers.

Visualisation of ghg emissions estimates by local authority. Shiny app using data from data.gov.uk

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.

Can is a ChaCha20 cryptographic accelerator based on a No-Instruction-Set Computer (NISC) architecture.

How to use the University of Southampton LaTeX template

https://git.soton.ac.uk/el7g15/uos-latex-template

Detailed instructuons for LaTeX (Thesis and Report) classes built with Thesis.tex template. Instructions include how to modify the classes.

Extended TI radio boostpack libraries to include support for the EXP430FR5994 (MSP430FR5994) LaunchPad development kit Also supported are EXP430F5529LP (MSP430F5529) and EXP430G2 (MSP430G2xx). It also has some support for the MSP430F5438.

LaTeX Templates for the University of Southampton. Download

Usage Instructions

Mainly for thesis, progress & project reports

Charles' general repository for short snippets of code for MIND6003 Interdisciplinary Group Project. Accessible by anyone with a soton email account.