Tailoring Taint Analysis to GDPR
Authors:
- 30 December 2018
- book chapter
- Published by Springer Nature
- p. 63-76
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- MorphDroid2015
- Boolean Formulas for the Static Identification of Injection Attacks in Java2015
- Abstract interpretation | Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)2014
- FlowDroidACM SIGPLAN Notices, 2014
- TaintDroidACM Transactions on Computer Systems, 2014
- Generic Combination of Heap and Value Analyses in Abstract InterpretationLecture Notes in Computer Science, 2014
- A static analyzer for large safety-critical software2003
- Systematic design of program analysis frameworks1979
- Certification of programs for secure information flowCommunications of the ACM, 1977
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977