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 Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)☆20Updated last month
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆41Updated 5 months ago
- Avatar² examples showcased in "Avatar²: A Multi-target Orchestration Platform"☆18Updated 6 years ago
- ☆27Updated 3 years ago
- VFCFinder: Searching for the Missing Vulnerability Fixing Commits☆25Updated last year
- Tool for exploiting sixnet RTUs☆16Updated 6 years ago
- Material from ICS Village talk at DEFCON 25☆11Updated 6 years ago
- CITL's static analysis engine for native code artifacts☆20Updated 3 years ago
- ☆12Updated 4 years ago
- ☆52Updated 6 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- DNP3 Cyber-attack datasets☆12Updated 7 years ago
- Forecasting Malware Capabilities From Cyber Attack Memory Images☆31Updated 2 years ago
- Creating function call graphs based on radare2 framwork, plot fancy graphs and extract behavior indicators☆31Updated 8 years ago
- Default query sets for Joern☆26Updated 3 years ago
- A vulnerability assessment tool for system models☆13Updated 3 years ago
- DARPA CASE program☆13Updated 2 years ago
- CANBus protection used to isolate third party systems requiring OBDII access.☆19Updated 9 years ago
- ☆15Updated 7 months ago
- Protocol Inspection and State Machine Analysis☆24Updated 6 years ago
- ☆23Updated 2 weeks ago
- Public Code for ICS Evasion Attack Generation☆41Updated 3 years ago
- ☆25Updated last year
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆82Updated 10 months ago
- The U.S. Army Research Laboratory (ARL) Software Release Process for Unrestricted Public Release☆43Updated 6 years ago
- AutoVAS is an automated vulnerability analysis system with a deep learning approach.☆35Updated 3 years ago
- FACT analysis plug-in that maps software version to cves☆13Updated 5 years ago
- ☆14Updated last year
- Damn Vulnerable Chemical Process - Vinyl Acetate Monomer☆21Updated 9 years ago
- OASIS OpenC2 TC: Repository for submitting and reviewing OpenC2 use cases relevant to the work of the OpenC2 Language Subcommittee (LSC)☆28Updated 2 years ago