TaintDroid
From MaRDI portal
Software:38469
swMATH26740MaRDI QIDQ38469FDOQ38469
Author name not available (Why is that?)
Cited In (7)
- Rewriting-based runtime verification for alternation-free HyperLTL
- Stochastic Dynamic Information Flow Tracking Game with Reinforcement Learning
- EviCheck: Digital Evidence for Android
- Information flow analysis for valued-indexed data security compartments
- AUTOMATED STATIC ANALYSIS AND CLASSIFICATION OF ANDROID MALWARE USING PERMISSION AND API CALLS MODELS
- \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
- Automated inference of library specifications for source-sink property verification
This page was built for software: TaintDroid
