len-bass / dosebookLinks
☆29Updated 3 months ago
Alternatives and similar repositories for dosebook
Users that are interested in dosebook are comparing it to the libraries listed below
Sorting:
- materials about and for the classes I teach☆16Updated 4 years ago
- A MAL language that demonstrates the Maven project structure☆23Updated this week
- Open Source AADL2 Tool Environment☆48Updated 3 months ago
- Universal CPS Environment for Federation☆19Updated 3 years ago
- A compiler for the Meta Attack Language☆15Updated 3 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆27Updated last month
- CDS Threat Modeling Tool MVP☆13Updated this week
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆46Updated last year
- Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urnsediva-320638☆139Updated last year
- Repository for FSE 2016 paper "Static DOM Event Dependency Analysis for Testing Web Applications".☆10Updated 6 years ago
- course material for six week architecture design course☆52Updated last year
- Tools and standards for conducting and evaluating research in software engineering☆320Updated this week
- Secure Software Development Fundamentals courses (from the OpenSSF Best Practices WG)☆197Updated 3 weeks ago
- ☆27Updated 2 years ago
- Dynamic detection of likely invariants☆243Updated this week
- OWASP Ontology-driven Threat Modelling framework☆39Updated 2 years ago
- Top 10 for Agentic AI (AI Agent Security) serves as the core for OWASP and CSA Red teaming work☆162Updated 3 months ago
- Home page of project "KB"☆132Updated 9 months 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…☆79Updated this week
- A user story quality assurance tool by Utrecht University☆33Updated 2 years ago
- A compilation of resources in the software supply chain security domain, with emphasis on open source☆341Updated 2 years ago
- The OpenSSF CVE Benchmark consists of code and metadata for over 200 real life CVEs, as well as tooling to analyze the vulnerable codebas…☆159Updated last year
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- Deadline countdowns for academic conferences in Software Engineering☆67Updated this week
- ☆13Updated 5 years ago
- Repository of the DevOps course at KTH Royal Institute of Technology DD2482☆203Updated last month
- A community collection of security reviews of open source software components.☆96Updated last year
- Externalize Java application access to protected resources as log messages.☆43Updated 2 months ago
- Practical Library Of Threats 4 Artificial Intelligence☆33Updated 6 months ago
- ☆14Updated 6 years ago