Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences.

Dumitru Ceara, Laurent Mounier, Marie-Laure Potet

Browse the full ICST paper archive.