Login / Signup
LeakageVerif: Efficient and Scalable Formal Verification of Leakage in Symbolic Expressions.
Quentin L. Meunier
Etienne Pons
Karine Heydemann
Published in:
IEEE Trans. Software Eng. (2023)
Keyphrases
</>
formal verification
model checking
lightweight
single pass
dynamic programming
cost effective
highly scalable
reinforcement learning
natural language
computationally efficient
memory efficient
automated verification