CellIFT: Leveraging Cells for Scalable and Precise Dynamic Information Flow Tracking in RTL.
Flavien SoltBen GrasKaveh RazaviPublished in: USENIX Security Symposium (2022)
Keyphrases
- information flow
- flow analysis
- dynamic environments
- dynamically updated
- communication networks
- social networks
- information security
- dynamic aspects
- supply chain
- particle filter
- real time
- functional modules
- multi context systems
- flow graph
- information propagation
- phase contrast
- information flows
- reactive systems
- multi threaded
- object tracking
- markov chain
- databases