TaintDroid
From MaRDI portal
swMATH26740MaRDI QIDQ38469FDOQ38469
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=1924971
Cited In (27)
- 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
- Perracotta
- JFlow
- Merlin
- Panorama
- Pixy
- FlowDroid
- Julia Static Analyzer
- F4F
- Dytan
- DREBIN
- TAJ
- Aletheia
- BackFlow
- MorphDroid
- Sails
- EMBER
- Androguard
- AppGuard
- Apposcopy
- EviCheck
- \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
