Chair Software and Systems Engineering (@tum-i4)
Guthub

tum-i4

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

macke

Modular And Compositional analysis with KLEE Engine
Python
113
star
2

obfuscation-benchmarks

A set of programs used for benchmarking the strength of obfuscation
C
83
star
3

indistinguishability-obfuscation

Implementation of indistinguishability obfuscation constructions from scientific literature
Python
43
star
4

vot4cs

A Virtualization Obfuscation Tool for C# programs
C#
38
star
5

munch

Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
Makefile
37
star
6

attack-graph-generator

Python
30
star
7

klee-install

Step by step manual for building KLEE
Shell
18
star
8

dta-vs-osc

Dynamic Taint Analysis versus Obfuscated Self-Checking
16
star
9

Repackman

A Tool for the Automatic Repackaging of Android Apps
13
star
10

deadlines

Deadline countdowns for academic conferences relevant to the SSE chair.
JavaScript
11
star
11

Oedipus

A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.
Python
10
star
12

self-checksumming

C++
10
star
13

sip-toolchain

A toolchain for software integrity protection including self-checksumming, control flow integrity, result checking, oblivious hashing and a sample program protected using Intel SGX
8
star
14

sip-oblivious-hashing

LLVM
7
star
15

JTeC

JTeC: Java Testwise Coverage
Java
7
star
16

input-dependency-analyzer

C++
7
star
17

dirts

DIRTS: Dependency Injection Aware Regression Test Selection
Java
7
star
18

Maat

Maat is a framework that mines VirusTotal scan reports to extract various information about the correctness, completeness, and consistency of scanners. It can also be used to train threshold-based and ML-based labeling strategies to label (Android) apps according to their VirusTotal scan reports and much more. Maat also refers to the ancient Egyptian concepts of truth, balance, order, harmony.
Python
7
star
19

Pairika

C++
6
star
20

nequivack

Non-equivalence checker for C programs
C
6
star
21

binary-rts

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

Aletheia

HTML
4
star
23

macke-opt-llvm

Passes for LLVM operations inside MACKE
C++
4
star
24

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.
HTML
3
star
25

inverse-transparency

Connected infrastructure to automatically log and display accesses to employees' data
Python
3
star
26

macke-fuzzer-opt-llvm

C++
3
star
27

green-fuzzing-artifacts

Artifacts for the paper: "Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction"
Jupyter Notebook
3
star
28

what-the-func

A simple C++ function parser/tagger based on tree-sitter
TypeScript
2
star
29

rritbed

Real-Time Remote Intrusion Detection Testbed
Python
2
star
30

localizing-android-malicious-behaviors

Initial implementation of a method to localize malicious behaviors from API call traces of Android apps
Python
2
star
31

SACPS-evaluation-framework

Python
2
star
32

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.
2
star
33

ssacps_packages

Contains ROS packages to run the use cases in the ssacps_simulation repository.
C++
2
star
34

troutcatchers

A framework for the extraction of malicious behaviors from Android (repackaged) malware
Python
1
star
35

kovacs

Go
1
star
36

sipvsml

Software Integrity Protection Versus Machine Learning
Jupyter Notebook
1
star
37

CodeMapExtractor

Python
1
star
38

survey-tools

A bunch of text and pdf analysis tools that may be useful for literature surveys and mapping studies
Python
1
star
39

MakeAdditions

Add magic to your make command
Python
1
star
40

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.
1
star
41

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
Python
1
star
42

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/
1
star
43

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.
Jupyter Notebook
1
star