mitre / cpsa
Experimental CPSA -- the Cryptographic Protocol Shapes Analyzer experimental version
☆14Updated last month
Alternatives and similar repositories for cpsa:
Users that are interested in cpsa are comparing it to the libraries listed below
- A CALDERA plugin☆13Updated last year
- ☆19Updated 4 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆41Updated 6 months ago
- InSpec profile for Microsoft Windows 10, against DISA's Microsoft Windows 10 Security Technical Implementation Guide (STIG) Version 1, Re…☆14Updated last month
- A MAL language that demonstrates the Maven project structure☆23Updated 3 years ago
- Landing Page Content/Builder for MITRE Security Automation Framework☆28Updated last week
- VINCE is the Vulnerability Information and Coordination Environment developed and used by the CERT Coordination Center to improve coordin…☆61Updated last week
- A curated threat modeling library collection☆22Updated last year
- WiP - cve-search next gen☆13Updated 5 years ago
- ☆20Updated 7 years ago
- A CALDERA plugin☆17Updated 4 years ago
- Toolset to analyze disks encrypted with McAFee FDE technology☆17Updated 3 years ago
- Exploit, Malware and Vulnerability Scoring Application☆11Updated last year
- Remote / Onsite Security Assessment Jumpkit☆38Updated last year
- tlsplayback is a set of Proof of Concepts (PoC) showing real-world replay attacks against TLS 1.3 libraries and browsers by exploiting 0-…☆14Updated 6 years ago
- Tools for security content automation, baseline tailoring, and overlay development.☆43Updated 5 months ago
- Tools related to work with Attack Flow (https://github.com/center-for-threat-informed-defense/attack-flow)☆44Updated 2 years ago
- CVE.ICU code.☆39Updated this week
- Minimal Indicator Storage System☆11Updated 4 years ago
- The Purpose of this research tool is to provide a Python client into RiskIQ API services.☆22Updated 4 years ago
- Development of the NIST vulnerability data ontology (Vulntology).☆37Updated 8 months ago
- a RTE-free X.509 parser☆60Updated 2 years ago
- Proof of concept for an anti-phishing browser plugin, working by comparing pages screenshots with perceptual hashing algorithms.☆11Updated 2 years ago
- Intrusion Detection Honeypots Book Code☆24Updated 4 years ago
- An automated setup for fuzzing Redis w/ AFL++☆33Updated 2 years ago
- MITRE Engage™ is a framework for conducting Denial, Deception, and Adversary Engagements.☆62Updated 10 months ago
- ☆23Updated 2 weeks ago
- SightingDB is a database for Sightings☆22Updated last year
- Log aggregation, analysis, alerting and correlation for Windows, Syslog and text based logs.☆24Updated 8 years ago
- TLS-Anvil, a fully automated TLS testsuite for client and servers.☆91Updated last year