Dytan

swMATH31722MaRDI QIDQ43433FDOQ43433

Author name not available (Why is that?)

Cited In (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
• \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
• DynOpVm: VM-based software obfuscation with dynamic opcode mapping

This page was built for software: Dytan