Dytan
From MaRDI portal
Cited in
(39)- BeepBeep
- BitBlaze
- DynOpVm: VM-based software obfuscation with dynamic opcode mapping
- Perracotta
- Automated inference of library specifications for source-sink property verification
- JFlow
- LIFT
- Stochastic Dynamic Information Flow Tracking Game with Reinforcement Learning
- Merlin
- Panorama
- Pixy
- TaintDroid
- FlowDroid
- Altair
- Julia Static Analyzer
- F4F
- DynOpVm
- pyftpdlib
- VOT4CS
- Code Virtualizer
- VMProtect
- ReWolf
- memslap
- Themida
- VMGuard
- VMAttack
- BinSim
- Capstone
- SEEAD
- NISLVMP
- VMHunt
- Apache Flink
- TAJ
- BackFlow
- MorphDroid
- Aletheia
- Sails
- \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
- Foundations of fine-grained explainability
This page was built for software: Dytan
