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