Systems and Internet Infrastructure Security Laboratory

Systems and Internet Infrastructure Security Laboratory's repositories

IC3: Inter-Component Communication Analysis in Android

Language:JavaApache-2.036 7 35

COAL Constant Propagation Solver

Language:JavaApache-2.08 7 3

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

Language:JavaGPL-3.03 70

The PRIMO tool for static Intent resolution and probabilistic value inference

Language:PythonApache-2.02 4 2

Process Firewall

Language:CNOASSERTION1 40

Language:JavaApache-2.003 1

Tutorial for COAL

Language:JavaApache-2.0040

Language:JavaNOASSERTION070

Soot - A Java optimization framework

Language:JavaLGPL-2.1040