Login / Signup

Declassiflow: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures.

Rutvik ChoudharyAlan WangZirui Neil ZhaoAdam MorrisonChristopher W. Fletcher
Published in: CCS (2023)
Keyphrases
  • static analysis
  • dynamic analysis
  • security measures
  • source code
  • information systems
  • knowledge discovery
  • security management
  • database systems
  • distributed databases