Short Paper: Towards Information Flow Reasoning about Real-World C Code.
Samuel GrütterToby C. MurrayPublished in: PLAS@CCS (2017)
Keyphrases
- information flow
- real world
- flow analysis
- social networks
- communication networks
- supply chain
- data sets
- information flows
- information security
- source code
- case study
- functional modules
- flow graph
- intrusion detection
- e learning
- information diffusion
- multi threaded
- reactive systems
- database
- information propagation
- data mining
- databases
- multi context systems