Chair of Software & Systems Engineering

icon indicating a website link https://www.cs.cit.tum.de/en/sse/homepage/ icon indicating an email [email protected]

icon location Munich, Germany

Results 8 repositories owned by Chair of Software & Systems Engineering

obfuscation-benchmarks

81
Stars
21
Forks
Watchers

A set of programs used for benchmarking the strength of obfuscation

verified publisher icon tum-i4

attack-graph-generator

27
Stars
10
Forks
Watchers

verified publisher icon tum-i4

dta-vs-osc

15
Stars
2
Forks
Watchers

Dynamic Taint Analysis versus Obfuscated Self-Checking

verified publisher icon tum-i4

indistinguishability-obfuscation

29
Stars
6
Forks
Watchers

Implementation of indistinguishability obfuscation constructions from scientific literature

verified publisher icon tum-i4

klee-install

17
Stars
11
Forks
Watchers

Step by step manual for building KLEE

verified publisher icon tum-i4

macke

107
Stars
20
Forks
Watchers

Modular And Compositional analysis with KLEE Engine

verified publisher icon tum-i4

munch

36
Stars
9
Forks
Watchers

Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs

verified publisher icon tum-i4

vot4cs

30
Stars
11
Forks
Watchers

A Virtualization Obfuscation Tool for C# programs

verified publisher icon tum-i4