Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security.
Marco EilersSeverin MeierPeter MüllerPublished in: CAV (1) (2021)
Keyphrases
- information flow
- computer programs
- information security
- java programs
- multi threaded
- control program
- automatic programming
- program execution
- high level programming language
- flow analysis
- computer chess
- information flows
- social networks
- programming environment
- supply chain
- functional programs
- flow graph
- data processing
- intrusion detection
- security issues
- communication networks
- multi context systems
- control flow
- reactive systems
- information systems
- file system