ReSonate: A framework for runtime risk assessment of autonomous cyber-physical systems
☆12Jul 4, 2021Updated 5 years ago
Alternatives and similar repositories for Resonate
Users that are interested in Resonate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Matlab/Simulink library that allows basic Modbus/TCP read and write operations☆12Sep 28, 2016Updated 10 years ago
- Pytorch implementation of Tiresias: Predicting Security Events Through Deep Learning☆11Jul 25, 2024Updated 2 years ago
- 该资源主要总结和积累大模型(LLM)及ChatGPT相关的安全学术论文或技术博客,希望对自己和大家有所帮助☆11Oct 26, 2023Updated 3 years ago
- A stream-processing service for monitoring distributed clusters☆16Feb 6, 2015Updated 11 years ago
- An LSTM auto-encoder for Multivariate Cyclic Time Series (MCTS) anomaly detection. The code can be adapted to any MCTS but was applied on…☆14May 9, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Snow radar data processing and snow depth retrieval☆12Oct 7, 2020Updated 6 years ago
- ICS anomaly detection test suite. From the ESORICS 2022 paper: "Perspectives from a Comprehensive Evaluation of Reconstruction-based Anom…☆10Sep 20, 2023Updated 3 years ago
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated 2 years ago
- 针对大模型的后门攻击☆14Jun 30, 2024Updated 2 years ago
- Quantitate binary risk assessment☆17May 9, 2022Updated 4 years ago
- DeepTraLog: Trace-Log Combined Microservice Anomaly Detection through Graph-based Deep Learning☆14Mar 24, 2023Updated 3 years ago
- UMASploit - ClearEnergy modules☆17Apr 14, 2017Updated 9 years ago
- program course for haidian fellowship☆11Apr 15, 2021Updated 5 years ago
- ICS attack simulator for the Tennessee Eastman Process. From the NDSS 2024 paper: "Attributions for ML-based ICS anomaly detection: From …☆18Aug 31, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The repository of SiamHAN, an IPv6 address correlation model on TLS encrypted traffic. The work has been accepted as USENIX Security 2021…☆19Dec 1, 2021Updated 4 years ago
- Implementation of paper "Transferring Robustness for Graph Neural Network Against Poisoning Attacks".☆21Feb 26, 2020Updated 6 years ago
- A naive implementation of HERCULE, an attack story reconstruction system using community discovery on correlated log graph☆16Aug 27, 2017Updated 9 years ago
- CertTA: Certified Robustness Made Practical for Learning-Based Traffic Analysis☆19Jun 20, 2025Updated last year
- ☆13Jun 27, 2022Updated 4 years ago
- collect☆19Mar 29, 2020Updated 6 years ago
- Using Lane Detection for Self Driving in CARLA☆15Mar 15, 2023Updated 3 years ago
- RBLJAN: Robust Byte-Label Joint Attention Network for Network Traffic Classification☆17Oct 17, 2024Updated 2 years ago
- ☆23Sep 19, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- In this project, we implemented 7 interpretation techniques on two benchmark deep learning models "EEGNet" and "InterpretableCNN" for EEG…☆17Mar 15, 2022Updated 4 years ago
- We propose Endpoint Forecasting and Interpreting (EFI), a real-time attack forecast and interpretation system, which can automatically pr…☆17Aug 16, 2023Updated 3 years ago
- 面向 A 股投研的 Electron 桌面 AI Agent,支持实时行情、K线、资金流、筹码分布、新闻公告和多维度个股分析。☆47Aug 25, 2026Updated 2 months ago
- Reverse engineering tool using bioinformatics sequence alignment algorithms☆27Mar 5, 2021Updated 5 years ago
- On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions☆17Jul 10, 2020Updated 6 years ago
- Code for risk-aware robust mpc for motion planning by learning obstacle uncertainties☆19Apr 7, 2025Updated last year
- 渗透测试人员专用精简化字典 Dictionary for penetration testers happy hacker☆24Oct 10, 2020Updated 6 years ago
- This repo includes the source code and dataset information for reproducing the results of our paper (https://arxiv.org/abs/2009.06435)☆57Mar 24, 2023Updated 3 years ago
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆23May 24, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Reliability_Multirotor_Drones☆14Oct 7, 2026Updated 3 weeks ago
- an innovative framework for indoor air quality outlier detection, comprising three modules: LSTM-AE-based reconstruction error detector, …☆26Jul 11, 2026Updated 3 months ago
- Argus 取名自希腊神话中的"百眼巨人" (Argus Panoptes)这是一款专为应急响应、威胁狩猎设计的现代化跨平台安全工具,致力于提供更隐蔽、更强大、更智能的威胁检测能力。☆33May 9, 2026Updated 5 months ago
- Codebase for the ICKG 2023 paper: "GLAD: Content-aware Dynamic Graphs For Log Anomaly Detection".☆24Feb 16, 2024Updated 2 years ago
- CVaR-based Flight Energy Risk Assessment for Multirotor UAVs using a Deep Energy Model☆27Jul 27, 2023Updated 3 years ago
- ☆23Sep 9, 2021Updated 5 years ago
- Automated Testing Framework for CARLA Simulator [ITSC 2022]☆22Apr 22, 2022Updated 4 years ago