TaintDroid
From MaRDI portal
Software:38469
swMATH26740MaRDI QIDQ38469FDOQ38469
Author name not available (Why is that?)
Cited In (7)
- Automated Inference of Library Specifications for Source-Sink Property Verification
- Stochastic Dynamic Information Flow Tracking Game with Reinforcement Learning
- EviCheck: Digital Evidence for Android
- AUTOMATED STATIC ANALYSIS AND CLASSIFICATION OF ANDROID MALWARE USING PERMISSION AND API CALLS MODELS
- Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
- Information Flow Analysis for Valued-Indexed Data Security Compartments
- \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
This page was built for software: TaintDroid
