Popular repositories

1. IoTCOM IoTCOM Public

   Verifying safety of interactions between IoT apps

   Alloy 7 2

2. DINA DINA Public

   A hybrid analysis tool for detecting vulnerable inter-app communication between Android Apps

   C++ 2 1

3. LMCAS_LLVM_Debloating_Passes LMCAS_LLVM_Debloating_Passes Public

   Contains llvm passes for debloating and profiling

   C++ 2

4. LMCAS LMCAS Public

   C 2 1

5. Malware Malware Public

   Forked from RPISEC/Malware

   Course materials for Malware Analysis by RPISEC

   1

6. lectures lectures Public

   Forked from Beerkay/lectures

   Oxford Deep NLP 2017 course

   1