Login / Signup
LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions.
Quentin L. Meunier
Etienne Pons
Karine Heydemann
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
lightweight
highly scalable
high level
memory efficient
real world
image processing
efficient search
data streams
highly efficient
limited memory
formal verification