Prover - Toward More Efficient Formal Verification of Masking in Probing Model.

Feng Zhou Hua Chen Limin Fan

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

probabilistic model
formal verification
empirically derived
neural network
experimental data
probability distribution
knowledge based systems
statistical model