A collection of reports and case studies to understand the threat landscape for UK critical infrastructure

Code to calculate the Critical Infrastructure Spatial Index (CISI)

A simple IRC bot in python

A serious game to support teaching and learning of topics of connected critical infrastructure in urban settings 🏙 🍃 💧 ⚡️ 🚗 👩‍💻

Network data repository

RaBe logos in beautiful ANSI format to use as motd

A centralized repository for technical and cybersecurity white papers published by MottaSec. Each folder contains a distinct white paper along with any relevant supporting materials, tools, or references. This repository serves as a knowledge base reflecting our expertise, research, and thought leadership across key areas of cybersecurity.

Some sort-of IRC bot

Educational deserialization attack on a hydroelectric plant simulator (HydroFlow Console)

A hybrid AI model for predicting failures in water distribution systems using Adaptive Neuro-Fuzzy Inference System (ANFIS). The model integrates Genetic Algorithms (GA) and Ant Colony Optimization (ACO) to improve the accuracy of accident prediction.

AI-driven threat intelligence framework for critical infrastructure protection

Simulator of critical infrastructure network failures, attacks and resilience

Modular ICS/OT cybersecurity toolkit for Modbus/TCP, Siemens S7Comm, and DNP3. Generates JSON/HTML reports and executive dashboards from PCAPs and safe Modbus scans. Includes sample PCAPs and ModbusPal for testing.

Quantum-resistant security for critical infrastructure & economic stability — aligned with NIST Cybersecurity Framework 2.0 and compatible with NIST PQC standards.

AI Prompt Library for Securing Digital Payments, Financial Systems, and Digital Assets using Zero Trust & Defense-in-Depth Strategies

Simulates incident handling in data centers using Python and SimPy. Analyze how staffing levels, shift timing, and triage rules affect SLA compliance, resolution time, and backlog size.

Transformer-based RF-DETR model for drone & aerial surveillance detecting critical infrastructure (bridges, power plants, substations, towers).

Data Scientist | Building end-to-end ML solutions and translating complex data into actionable business insights. Python • SQL • Machine Learning.

Formal verification of GT-SMDN framework in Lean 4. 53 theorems formalised, 28 complete proofs. Companion to 'Protecting Critical Infrastructure' book.

AI-powered MuleSoft API platform enabling 10-minute grid recovery for utilities. Integrates SCADA, weather, DER, and field systems with autonomous agent coordination. -15M annual ROI through 85% outage reduction.