Popular repositories Loading

1. fuzzing_scripts fuzzing_scripts Public

   Various Scripts for ANU Fuzzing Project (MoonLight)

   R 2 1

2. LogicDroid_Kernel LogicDroid_Kernel Public

   Modified files to android kernel source code to enable LogicDroid

   C 1

3. LogicDroid LogicDroid Public

   Modified files in the Android source code to enable LogicDroid

   Java

4. Monitor_generator Monitor_generator Public

   Program to automatically produce a kernel module source code for LogicDroid based on XML specification

   Java

5. TranslationProof TranslationProof Public

   This project analyzes the (non-optimized) translation from JVM bytecode into Android bytecode (DEX bytecode). We leverage an existing security approach to JVM bytecode and apply it to Android. In p…

   Java

6. DEX_formalization DEX_formalization Public

   Coq