usnistgov / ucef
Universal CPS Environment for Federation
☆19Updated 2 years ago
Alternatives and similar repositories for ucef:
Users that are interested in ucef are comparing it to the libraries listed below
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆41Updated 7 months ago
- DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)☆20Updated last month
- A fork of Bandit tool with patterns to identifying malicious python code.☆25Updated 2 years ago
- CANBus protection used to isolate third party systems requiring OBDII access.☆19Updated 10 years ago
- MulVAL: A logic-based, data-driven enterprise network security analyzer - Originally developed at Kansas State University, updated for Cy…☆33Updated 11 months ago
- Avatar² examples showcased in "Avatar ²: A Multi-target Orchestration Platform"☆18Updated 7 years ago
- A taxonomy of attacks on software supply chains in the form of an attack tree, based on and linked to numerous real-world incidents and o…☆75Updated 3 weeks ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- 2020 Machine Learning Security Evasion Competition☆49Updated 4 years ago
- Damn Vulnerable Chemical Process - Vinyl Acetate Monomer☆21Updated 9 years ago
- FACT analysis plug-in that maps software version to cves☆13Updated 5 years ago
- NCC Group Template for the Microsoft Threat Modeling Tool 2016 for Automotive Security☆47Updated 4 years ago
- Protocol Inspection and State Machine Analysis☆24Updated 6 years ago
- ☆14Updated 2 years ago
- Legacy firmware for ICS and other devices.☆11Updated 4 years ago
- On Training Robust PDF Malware Classifiers (Usenix Security'20) https://arxiv.org/abs/1904.03542☆29Updated 3 years ago
- AutoVAS is an automated vulnerability analysis system with a deep learning approach.☆35Updated 3 years ago
- Scan pypi for typosquatting☆38Updated 2 years ago
- ☆26Updated last year
- 🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)☆38Updated 2 years ago
- ☆13Updated last year
- VFCFinder: Searching for the Missing Vulnerability Fixing Commits☆27Updated last year
- An Automated Vulnerability Detection System☆59Updated 8 years ago
- ☆27Updated 3 years ago
- A dataset of software supply chain compromises. Please help us maintain it!☆128Updated 2 years ago
- @DisCo is a graph based datastore designed to minimize reverse engineering efforts.☆12Updated 4 years ago
- IVA is a system to scan for known vulnerabilities in software products installed inside an organization. IVA uses CPE identifiers to sear…☆65Updated 4 years ago
- Software vulnerabilities data set☆24Updated 5 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆82Updated last year
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year