Automated Payload Reverse Engineering Pipeline for the Controller Area Network (CAN) protocol

Welcome Cybersecurity's World. An ongoing & curated collection of awesome software best practices and techniques, libraries and frameworks, E-books and videos, websites, blog posts, links to github Repositories, technical guidelines and important resources in Cybersecurity.

MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet

The Verifiably Safe Reinforcement Learning Framework

Maritime Cyber Security Testbed

This repo contains code and visualisation for "Robust moving target defence against false data injection attacks in power grids"

Automated Controller Synthesis

Dynamic Attention Networks For Time Series State Forecasting in Cyber Physical Systems

Source code of the numerical experiments presented in "Energy-Efficient Edge-Facilitated Wireless Collaborative Computing using Map-Reduce" by Antoine Paris, Hamed Mirghasemi, Ivan Stupia and Luc Vandendorpe (presented at SPAWC19).

A Cyber-Physical System (CPS) is a mixed system integrated with computation, communication, and physical processes, which takes an important position in the smart city, and there are many challenges in its security issues. In this project, we established a testbed and a mini UI system to verify our CPS threat analysis method and auto anomaly det…

This repository contains the code for paper, ''Cyber-Physical Intrusion Detection System for Unmanned Aerial Vehicles,” in IEEE Transactions on Intelligent Transportation Systems (2023)

A server implementation of the RIP protocol in Python

NeuReach: Learning Reachability Functions from Simulations

SMT-Based CPS Parameter Synthesis and Repair

Examples to demonstrate the features of DTaaS software

AI4DI - Artificial Intelligence of Digitising Industry: This project builds a docker environment with a running server to trigger a simulation, based on an FMU model. The FMU model can be controlled by a client using a implemented REST API on the server (docker).

Repository mining for searching Performance Antipatterns in Cyber-Physical System Projects.

Code for paper "Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems"

Master thesis. Cyber-physical microservices for the Dobot Magician and connected workbenches. Designed to be used for the GREGOR office assembly system.