QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment.
Xiaolong GuoRaj Gautam DuttaJiaji HeMark M. TehranipoorYier JinPublished in: HOST (2019)
Keyphrases
- information flow
- description languages
- low cost
- information security
- description language
- hardware designs
- hardware description language
- flow analysis
- social networks
- information flows
- supply chain
- flow graph
- communication networks
- hardware design
- information systems
- integrated circuit
- intrusion detection
- service discovery
- computer systems
- web services