C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Semi-formal Information Flow Validation for Analyzing Secret Asset Propagation in COTS IC Integrated Systems.
Xingyu Meng
Mahmudul Hasan
Kanad Basu
Tamzidul Hoque
Published in:
ACM Great Lakes Symposium on VLSI (2022)
Keyphrases
</>
information flow
reactive systems
information flows
distributed systems
software components
dynamic aspects
multi context systems
social networks
flow graph
flow analysis
formal methods
communication networks
random walk
computer systems
decision support
supply chain
case study