Dytan
From MaRDI portal
Software:43433
No author found.
Related Items (5)
Foundations of fine-grained explainability ⋮ Automated Inference of Library Specifications for Source-Sink Property Verification ⋮ Stochastic Dynamic Information Flow Tracking Game with Reinforcement Learning ⋮ DynOpVm: VM-based software obfuscation with dynamic opcode mapping ⋮ \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
This page was built for software: Dytan
