SCInfer: Refinement- Based Verification of Software Countermeasures Against Side- Channel Attacks
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
verdicts
unreviewed 4roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
- Formal Verification of Probing Security via Conditional Independence
- Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
- Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
- An automata-based approach for synchronizable mailbox communication