seclab

Repositories

• BullseyePoison

  Bullseye Polytope Clean-Label Poisoning Attack
  Python 1 0 0 0 Updated Jun 14, 2020

• dr_checker

  DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

  kernel llvm kernel-driver vulnerability-detection vulnerability-scanners
  C++ BSD-2-Clause 59 242 11 1 Updated May 28, 2020

• karonte

  Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware
  Python BSD-2-Clause 29 149 0 0 Updated May 20, 2020

• packware

  Effects of packers on machine-learning-based malware classifiers that use only static analysis
  Python 5 35 0 0 Updated May 5, 2020

• trust.io

  A method for automatically protecting the physical interfaces on cyber-physical systems using TrustZone.
  VHDL MIT 0 2 0 0 Updated Apr 14, 2020

• pretender

  Automatic modeling of hardware to enable the rehosting of embedded firmware
  C 12 56 2 0 Updated Jan 13, 2020

• hal-fuzz

  Source code of HAL-fuzz
  Apache-2.0 14 87 0 0 Updated Nov 25, 2019

• agrigento

  Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.
  Python GPL-3.0 21 58 0 0 Updated Nov 17, 2019

• boomerang

  Exploiting the Semantic Gap in Trusted Execution Environments
  C 10 37 0 0 Updated Nov 11, 2019

• hacrs

  The human-assisted cyber reasoning system
  JavaScript BSD-2-Clause 2 0 0 0 Updated Sep 27, 2019

• hacrs-input-generator

  A framework to generate inputs for the HaCRS system to seed and evaluate against
  Python BSD-2-Clause 0 0 0 0 Updated Sep 27, 2019

• hacrs-crs

  The controller component of HaCRS to spawn it
  Dockerfile BSD-2-Clause 0 0 1 0 Updated Sep 27, 2019

• sasi

  Signedness-Agnostic Strided-Interval

  program-analysis abstract-interpretation
  C++ MIT 10 27 0 0 Updated Jun 21, 2019

• difuze

  Fuzzer for Linux Kernel Drivers

  android kernel fuzzing vulnerability-detection
  C++ BSD-2-Clause 72 270 5 0 Updated Apr 30, 2019

• autofacts

  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools

  llvm autofacts
  C++ BSD-2-Clause 4 13 0 0 Updated Feb 19, 2019

• LoopMC

  All code related to the LoopMC paper

  android machine-learning loops malware-analysis random-forest-classifier
  Python BSD-2-Clause 1 7 0 0 Updated Jan 4, 2019

• BootStomp

  BootStomp: a bootloader vulnerability finder

  android bootloader binary-analysis cve vulnerability-detection decompilation
  Python BSD-2-Clause 62 287 0 0 Updated Sep 28, 2018

• android_broken_fingers
  Java 4 15 1 0 Updated Feb 26, 2018

• android_device_public
  Java 2 4 0 0 Updated Dec 4, 2017

• baredroid
  Python 24 86 1 0 Updated Mar 15, 2017

• android_going_native
  2 0 0 0 Updated Dec 19, 2015

• ictf-service-samples

  Sample services for the 2015 iCTF
  Python 5 7 0 1 Updated Nov 30, 2015

• leakless

  Function redirection via ELF tricks.
  Python 26 129 0 0 Updated Jun 30, 2015

• android_ui_deception

  Source code for our "What the App is That? Deception and Countermeasures in the Android User Interface" paper
  Java 8 19 0 0 Updated May 21, 2015