Security Verification of RISC-V System Based on ISA Level Information Flow Tracking.

Lingjuan Wu Yifei Gao Jiacheng Zhu Yu Tai Wei Hu

Published in: ATS (2023)

Keyphrases

information flow
information security
security level
information flows
flow analysis
social networks
application specific
multi threaded
supply chain
functional modules
flow graph
communication networks
information systems
security issues
reactive systems
smart card
anomaly detection
multi context systems