tum-i4 Goto Github PK

.github

adaptive-system-transitions

aggregatio

Framework for Knowledge Aggregation with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems

aletheia

aletheiaplugin

attack-graph-generator

automated-identification-of-security-relevant-configuration-settings-using-nlp

This repository is part of the paper "Automated Identification of Security-Relevant Configuration Settings Using NLP" accepted at the Industry Showcase track at the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE). https://conf.researchr.org/track/ase-2022/ase-2022-industry-showcase.

better-safe-than-sorry

This repository is part of the paper "Better Safe Than Sorry! Automated Identification of Breaking Security-Configuration Rules" accepted at the "4th ACM/IEEE International Conference on Automation of Software Test (AST)". https://conf.researchr.org/home/ast-2023

binary-rts

BinaryRTS is a research tool for regression test selection of C++ binaries based on dynamic binary instrumentation

causal-canvas

An interactive platform to operationalize actual causality reasoning

cis-benchmark-evaluation

This repository is part of the paper Automated Implementation of Windows-related Security-Configuration Guides presented at the 35th IEEE/ACM International Conference on Automated Software Engineering.

codaspy2022

This repository is part of the paper "Hardening with Scapolite: a DevOps-based Approach for Improved Authoring and Testing of Security-Configuration Guides in Large-Scale Organizations" presented at the 12th ACM Conference on Data and Application Security and Privacy (CODASPY). http://www.codaspy.org/2022/

codemapextractor

controllertester

deadlines

Deadline countdowns for academic conferences relevant to the SSE chair.

dg

[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode

dirts

DIRTS: Dependency Injection Aware Regression Test Selection

disa-windows-server-2016

This repository is part of the paper Automated Implementation of Windows-related Security-Configuration Guides presented at the 35th IEEE/ACM International Conference on Automated Software Engineering.

disa-windows-server-2019

This repository is part of the paper Automated Implementation of Windows-related Security-Configuration Guides presented at the 35th IEEE/ACM International Conference on Automated Software Engineering.

dta-vs-osc

Dynamic Taint Analysis versus Obfuscated Self-Checking

green-fuzzing-artifacts

Artifacts for the paper: "Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction"

incentive-mechanism-app-cluster

Web app cluster to configure and execute online studies on data sharing incentivization

indistinguishability-obfuscation

Implementation of indistinguishability obfuscation constructions from scientific literature

information-cues

The files in this repository represent information cues for vulnerability descriptions, which contain multiple associated keywords

input-dependency-analyzer

inverse-transparency

Connected infrastructure to automatically log and display accesses to employees' data

jtec

JTeC: Java Testwise Coverage

kit-timed-automata

klee-install

Step by step manual for building KLEE

klee22

KLEE Symbolic Virtual Machine