Pinned Repositories
attack-graph-generator
dta-vs-osc
Dynamic Taint Analysis versus Obfuscated Self-Checking
indistinguishability-obfuscation
Implementation of indistinguishability obfuscation constructions from scientific literature
klee-install
Step by step manual for building KLEE
macke
Modular And Compositional analysis with KLEE Engine
munch
Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
obfuscation-benchmarks
A set of programs used for benchmarking the strength of obfuscation
Oedipus
A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.
Repackman
A Tool for the Automatic Repackaging of Android Apps
vot4cs
A Virtualization Obfuscation Tool for C# programs
Chair of Software & Systems Engineering's Repositories
tum-i4/dta-vs-osc
Dynamic Taint Analysis versus Obfuscated Self-Checking
tum-i4/deadlines
Deadline countdowns for academic conferences relevant to the SSE chair.
tum-i4/dirts
DIRTS: Dependency Injection Aware Regression Test Selection
tum-i4/JTeC
JTeC: Java Testwise Coverage
tum-i4/binary-rts
BinaryRTS is a research tool for regression test selection of C++ binaries based on dynamic binary instrumentation
tum-i4/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.
tum-i4/green-fuzzing-artifacts
Artifacts for the paper: "Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction"
tum-i4/inverse-transparency
Connected infrastructure to automatically log and display accesses to employees' data
tum-i4/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.
tum-i4/rritbed
Real-Time Remote Intrusion Detection Testbed
tum-i4/SACPS-evaluation-framework
tum-i4/what-the-func
A simple C++ function parser/tagger based on tree-sitter
tum-i4/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.
tum-i4/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
tum-i4/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/
tum-i4/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.
tum-i4/kovacs
tum-i4/multirts
Research tool for build system aware multi-language regression test selection
tum-i4/sipvsml
Software Integrity Protection Versus Machine Learning
tum-i4/fuzztastic
tum-i4/incentive-mechanism-app-cluster
Web app cluster to configure and execute online studies on data sharing incentivization
tum-i4/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
tum-i4/.github
tum-i4/adaptive-system-transitions
tum-i4/causal-canvas
An interactive platform to operationalize actual causality reasoning
tum-i4/KIT-Timed-Automata
tum-i4/On-the-Impact-of-Hitting-System-Resource-Limits-on-Test-Flakiness
Instructions and scripts for the paper "On the Impact of Hitting System Resource Limitations on Test Flakiness"
tum-i4/SACPS-robotics-system
tum-i4/self-adaptive_SLR
tum-i4/workflow-telemetry-action
Github action to collect metrics (CPU, memory, I/O, etc ...) from your workflows to help you debug and optimize your CI/CD pipeline