• Stars
    star
    1
  • Language
    C++
  • License
    Other
  • Created 7 months ago
  • Updated 7 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The FALSA model problem is a software that simulates an autonomous drone mission and its intended use is for research in assurance.

More Repositories

1

pharos

Automated static analysis tools for binary programs
C++
1,547
star
2

GHOSTS

GHOSTS is a realistic user simulation framework for cyber experimentation, simulation, training, and exercise
C#
463
star
3

SCALe

SCALe (Source Code Analysis Lab) is a static analysis aggregator/correlator which enables a source code analyst to combine static analysis results from multiple tools into one interface, and also provides mappings for diagnostics from the tools to the SEI CERT Secure Coding standards.
C
285
star
4

gbtl

GraphBLAS Template Library (GBTL): C++ graph algorithms and primitives using semiring algebra as defined at graphblas.org
C++
129
star
5

kaiju

CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is a "mirror" -- please file tickets, bug reports, or pull requests at the upstream home in @CERTCC: https://github.com/certcc/kaiju
Java
125
star
6

BigGrep

A scalable search index for binary files
C++
114
star
7

SCADASim

The SCADA Simulator is a configurable system that presents itself as a SCADA system within an exercise environment. It has a web-accessible user interface and generates modbus traffic on the network.
Python
108
star
8

cyobstract

A tool to extract structured cyber information from incident reports.
Python
78
star
9

greybox

A tool to host an Internet simulation
Shell
49
star
10

topgen

Scripts to generate an Internet simulation
Shell
34
star
11

welled

Wireless adapter emulation
C
33
star
12

juneberry

Juneberry improves the experience of machine learning experimentation by providing a framework for automating the training, evaluation and comparison of multiple models against multiple datasets, reducing errors and improving reproducibility.
Python
31
star
13

pharos-demangle

Demangles C++ symbol names genarated by Microsoft Visual C++ in order to retrieve the original C++ declarations.
C++
30
star
14

crucible

Crucible is a modular framework for creating, deploying, and managing virtual environments to support training, education, and exercises.
HTML
29
star
15

TopoMojo

A simple virtual lab builder/player
C#
28
star
16

sa-bAbI

sa-bAbI is a software assurance dataset generator similar to the natural language dataset generator
Python
27
star
17

GHOSTS-ANIMATOR

GHOSTS Animator is a library and API for generating realistic NPCs for training and exercise.
C#
25
star
18

pdfrankenstein

Python tool for bulk PDF feature extraction. This tool is a prototype.
Python
24
star
19

CDAS

This program generates cyber attack scenarios for use in cyber training exercises, red team planning, blue team planning, automated attack execution, and cybersecurity policy analysis.
Python
24
star
20

finsim

FinSim is a financial simulation tool for exercise environments. It provides students the opportunity to investigate a model financial system and its associated security concerns.
Python
22
star
21

foundry-appliance

A virtual appliance for building cyber labs, challenges and competitions
Shell
22
star
22

GHOSTS-SPECTRE

SPECTRE enables GHOSTS clients to have and build individual preferences over time.
C#
20
star
23

vtunnel

vTunnel is a tool that proxies IP traffic between guest and host networks.
C
19
star
24

AASPE

A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform from AADL models.
Java
16
star
25

TopoMojo-v1

Virtual Lab builder and player
C#
15
star
26

nabu

Graphical analysis of PDF structure.
Python
12
star
27

eraces

Tools to identify complexity in software models (e.g., SCADE, AADL).
Tcl
12
star
28

usersim

An agent that performs user actions on a workstation
Python
12
star
29

cmu-sei.github.io

SEI GitHub landing page.
HTML
11
star
30

SCAIFE-API

Source Code Analysis Integrated Framework Environment (SCAIFE) API: YAML specification
HTML
10
star
31

Polar

Polar is a secure and scalable knowledge graph framework, designed to address the challenges posed by building big data systems in highly regulated environments, and improve observability for DevSecOps Organizations.
Rust
9
star
32

feud

AI Division, Reverse Engineering CNN Trojans
Python
8
star
33

cert-rosecheckers

C
7
star
34

SEER

SEER is a platform for assessing the performance of cybersecurity training and exercise participants.
JavaScript
7
star
35

DRAT

Deployment Recovery Automation Technology
Python
7
star
36

bgpuma

An application to search BGP Update files for CIDR blocks or Autonomous Systems.
C++
6
star
37

cubespace

Spacefaring cyber competition video game
C#
6
star
38

DevSecOps-Model

HTML
6
star
39

Valkyrie_Framework

Valkyrie Framework is an open source suite of tools that enable hunt teams to locate and identify hidden cybersecurity threats lurking in network traffic.
Python
5
star
40

SilkWeb

HTML
5
star
41

topomojo-ui-v1

TypeScript
4
star
42

quabasebd

A wiki knowledge base the links architecture principles to NoSQL product features to support designers of scalable data-intensive systems.
PHP
4
star
43

MORE

Malware driven Overlooked REquirements contains the components SERF SEcurity Requirements Finder and Report Writing application.
HTML
4
star
44

redemption

Redemption is a tool that automatically repairs C/C++ code given a set of static-analysis alerts
Python
4
star
45

augur-code

Augur is a toolset that helps simulate and detect drift in different types of datasets, to define the best metrics that can be used to predict drift before it happens.
Python
4
star
46

Crucible.Appliance

Shell
3
star
47

ansible-role-silk

A role to install and configure the SiLK analysis and collection tools.
Python
3
star
48

Stormbox

Stormbox is an "internet user simulator" that is designed to simulate the transient, temporary, and anonymous nature of typical internet users during a cyber wargame.
Python
3
star
49

Identity

C#
3
star
50

virtualization-abstraction-layer

The Virtualization Abstraction Layer is a proof-of-concept library to allow projects that rely on hypervisors to easily switch between virtualization technologies.
C#
3
star
51

Cyber-Ticket-Studio

CTS is a tool that enables users to explore, search, sort, mine, and visualize large numbers of cyber incident tickets (and some other kinds of tickets) at the same time.
R
3
star
52

Player.Ui

Player is the centralized interface where users, teams, and administrators go to configure and participate in the cyber exercise.
TypeScript
2
star
53

gameboard-ui-v2

Gameboard is a flexible web platform that provides game design capabilities and a competition-ready user interface.
TypeScript
2
star
54

Console.Ui

Console.Ui is a UI application that displays and interacts with VMware virtual machine consoles. The Crucible VM project uses Console.Ui to display virtual machines.
TypeScript
2
star
55

cloud-migration-for-managers

TypeScript
2
star
56

topomojo-ui

TypeScript
2
star
57

threat-hunting-games

Code in support of SEI 2022 Line project on threat hunting games.
Python
2
star
58

autocats

AUTOCATS is the automated code analysis testing suite, used by projects like CERT Kaiju. This repository is a "mirror" -- please file tickets, bug reports, or pull requests at the upstream home in @CERTCC: https://github.com/certcc/autocats
C++
2
star
59

Gameboard

C#
2
star
60

CITE.Ui

The Collaborative Incident Threat Evaluator allows exercise participants to assess the severity of an incident using a scale such as the National Cyber Incident Scoring System.
TypeScript
2
star
61

Caster.Api

Caster is the primary deployment component of the Crucible framework. Caster provides a web interface that gives exercise developers a way to create, share, and manage topology configurations.
C#
2
star
62

helm-charts

Smarty
2
star
63

gameboard-v2

Gameboard is a flexible web platform that provides game design capabilities and a competition-ready user interface.
C#
2
star
64

vessel

Vessel is a project with the goal of promoting reproducible container builds. The first version of the Vessel tool compares two built container images and reports on differences between them, flagging as many known issues as possible.
1
star
65

Steamfitter.Ui

Steamfitter.Ui gives exercise developers the ability to create scenarios consisting of a series of scheduled tasks, manual tasks, and injects which run against virtual machines in a view.
TypeScript
1
star
66

Caster.Ui

Caster is the primary deployment component of the Crucible framework. Caster provides a web interface that gives exercise developers a way to create, share, and manage topology configurations.
TypeScript
1
star
67

ansible-role-rwflowpack

An ansible role for configuring and managing the rwflowpack service.
Shell
1
star
68

juneberry-example-workspace

A sample workspace for the Juneberry machine learning tool.
Python
1
star
69

eem

This repository hosts Eclipse-related files for the Enabling Evidence-Based Modernization project.
Java
1
star
70

TEC

A tool that allows users to detect ML Mismatch during the development, deployment, and maintenance of a ML component.
Vue
1
star
71

ghosts-cyber-range-and-exercise-simulation-tools

Range and simulation tools for executing realistic training and exercise events
C#
1
star
72

scir-oss

scir-oss is a tool that integrates public data and information regarding open source software projects and their products into a Project, Product, Protection, and Policy report (OSS-P4/R).
Shell
1
star
73

gamebrain

Python
1
star
74

certccsilklive

Official dockerfile for the Ubuntu based SiLK Live! training system.
Dockerfile
1
star
75

osticket-crucible

A plugin for osTicket that provides authentication against an OAuth2 identity server and posts ticket event notifications to the Crucible API.
PHP
1
star
76

Player.Api

Player is the centralized interface where users, teams, and administrators go to configure and participate in the cyber exercise.
C#
1
star
77

AppMailRelay

C#
1
star
78

Gallery.Ui

Gallery is an exercise inject visualization tool. It allows various types of inject data to be displayed, categorized, and searched by exercise participants.
TypeScript
1
star
79

ml-mismatch-descriptors

A set of descriptors used to support TEC the ML Mismatch detection tool, and other future tools.
1
star
80

REST

REST is a simple J2EE based application that is designed to exposed RDBMS database via webservices. REST software is designed to simplify integration of several RDBMS datasources to a JSON/XML for frameworks like jQuery etc.
JavaScript
1
star
81

UnitML

Python
1
star
82

Vm.Api

The Vm.Api is the backend restful API for the VM application that integrates with Player to display and manage virtual machines.
C#
1
star
83

augur-results

Augur is a toolset that helps simulate and detect drift in different types of datasets. This repo contains the results of experiments run using the toolset.
1
star
84

Blueprint.Ui

TypeScript
1
star
85

ansible-role-yaf

An ansible role for installing, configuring, and managing the YAF service.
Shell
1
star
86

GameEngine

GameEngine is a web API that serves games and challenges and also provides grading for the Gameboard platform.
C#
1
star