Software and Systems Engineering Chair 4 - Faculty of Informatics

Repositories

• causal-canvas

  An interactive platform to operationalize actual causality reasoning
  TypeScript 0 0 0 0 Updated Mar 24, 2020

• dg

  Forked from mchalupa/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
  C++ 52 1 0 0 Updated Feb 12, 2020

• sip-oblivious-hashing
  LLVM 2 5 124 2 Updated Jan 23, 2020

• inverse-transparency
  Python 0 1 0 0 Updated Jan 21, 2020

• 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 Egy…

  android malware-research virustotal security-automation
  Python Apache-2.0 0 2 0 0 Updated Jan 15, 2020

• macke

  Modular And Compositional analysis with KLEE Engine
  Python Apache-2.0 16 92 1 0 Updated Dec 17, 2019

• ssacps_simulation
  Shell 0 0 0 0 Updated Oct 30, 2019

• ssacps_packages

  Contains ROS packages to run the use cases in the ssacps_simulation repository.
  C++ 0 0 0 0 Updated Sep 8, 2019

• rritbed

  Real-Time Remote Intrusion Detection Testbed
  Python 3 0 0 0 Updated Jul 15, 2019

• attack-graph-generator

  microservices attack graphs dockers
  Python 2 6 0 0 Updated Jul 12, 2019

• input-dependency-analyzer
  C++ 2 2 20 0 Updated May 22, 2019

• sip-control-flow-integrity

  Forked from mamorel/sip-control-flow-integrity
  C++ 5 1 0 0 Updated May 5, 2019

• macke-fuzzer-opt-llvm
  C++ 0 2 0 0 Updated Apr 3, 2019

• munch

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

  llvm symbolic-execution vulnerability-detection vulnerability-assessment fuzzing-framework
  Makefile Apache-2.0 4 22 0 0 Updated Feb 22, 2019

• klee22

  Forked from klee/klee

  KLEE Symbolic Virtual Machine
  C++ 429 5 0 0 Updated Nov 9, 2018

• self-checksumming
  C++ 3 3 13 0 Updated Sep 19, 2018

• Repackman

  A Tool for the Automatic Repackaging of Android Apps
  GPL-3.0 0 6 0 0 Updated Aug 23, 2018

• macke-opt-llvm

  Passes for LLVM operations inside MACKE
  C++ Apache-2.0 0 4 0 0 Updated Jun 22, 2018

• localizing-android-malicious-behaviors

  Initial implementation of a method to localize malicious behaviors from API call traces of Android apps

  malware-research android-security hidden-markov-model
  Python 0 1 0 0 Updated Jun 12, 2018

• macke-vulnerability-assessment

  Forked from RicardoNalesAmato/thesis
  C 2 1 1 0 Updated May 27, 2018

• troutcatchers

  A framework for the extraction of malicious behaviors from Android (repackaged) malware
  Python GPL-3.0 0 0 0 0 Updated May 2, 2018

• CodeMapExtractor
  Python 0 1 0 0 Updated Mar 1, 2018

• Aletheia
  HTML 0 2 5 0 Updated Feb 28, 2018

• Pairika
  C++ 0 3 0 0 Updated Feb 25, 2018

• obfuscation-benchmarks

  A set of programs used for benchmarking the strength of obfuscation

  obfuscation docker-image symbolic-execution benchmarks resilience klee
  C MIT 10 42 0 0 Updated Feb 25, 2018

• AletheiaPlugin
  C# 0 0 0 0 Updated Dec 13, 2017

• 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

  software-security control-flow-integrity software-integrity tamperproofing self-checksumming oblivious-hashing software-protection
  2 6 0 0 Updated Aug 20, 2017

• sip-stins4llvm

  Forked from zhechkoz/stins4llvm

  State Inspection Tool for LLVM
  C++ 2 1 0 0 Updated Aug 19, 2017

• sip-self-checksumming

  Forked from anahitH/self-checksumming
  C++ 2 2 0 0 Updated Jul 24, 2017

• klee-install

  Step by step manual for building KLEE
  Shell CC0-1.0 10 13 2 0 Updated Jul 21, 2017