Login / Signup

Efficient Methods for SoC Trust Validation Using Information Flow Verification.

Khitam M. AlatounShanmukha Murali AchyuthaRanga Vemuri
Published in: ICCD (2021)
Keyphrases
  • information flow
  • model checking
  • social networks
  • data management
  • computationally expensive
  • information flows