Repositories list

• CaCTUs

  Public
  Building a Privacy-Preserving Smart Camera System (PETS 2022)

  Java

  •

  GNU General Public License v3.0

  •1•3•0•0•Updated May 19, 2022May 19, 2022

• sdn-misreporting

  Public
  Java

  •

  Other

  •0•0•0•0•Updated Dec 14, 2021Dec 14, 2021

• coal

  Public
  COAL Constant Propagation Solver

  Java

  •

  Apache License 2.0

  •5•9•2•1•Updated Nov 24, 2020Nov 24, 2020

• ic3

  Public
  IC3: Inter-Component Communication Analysis in Android

  Java

  •

  Apache License 2.0

  •22•39•16•1•Updated Feb 6, 2020Feb 6, 2020

• primo

  Public
  The PRIMO tool for static Intent resolution and probabilistic value inference

  Python

  •

  Apache License 2.0

  •5•2•1•0•Updated Nov 21, 2016Nov 21, 2016

• coal-tutorial

  Public
  Tutorial for COAL

  Java

  •

  Apache License 2.0

  •1•0•0•0•Updated Sep 28, 2015Sep 28, 2015

• coal-strings

  Public
  Java

  •

  Apache License 2.0

  •4•0•1•0•Updated Sep 16, 2015Sep 16, 2015

• soot

  Public
  Soot - A Java optimization framework

  Java

  •

  GNU Lesser General Public License v2.1

  •719•0•0•0•Updated Jun 15, 2015Jun 15, 2015

• pfwall

  Public
  Process Firewall

  C

  •

  Other

  •2•1•0•0•Updated Sep 12, 2014Sep 12, 2014