Login / Signup

Design and Verification of Secure Cache Wrapper Against Access-Driven Side-Channel Attacks.

Behrad NiazmandSiavoosh Payandeh AzadGert JervanJohanna Sepúlveda
Published in: DSD (2019)
Keyphrases
  • case study
  • design process
  • model checking
  • formal verification
  • functional verification
  • database systems