Login / Signup
Formal Security Proofs via Doeblin Coefficients: Optimal Side-channel Factorization from Noisy Leakage to Random Probing.
Julien Béguinot
Wei Cheng
Sylvain Guilley
Olivier Rioul
Published in:
IACR Cryptol. ePrint Arch. (2024)
Keyphrases
</>
weighting coefficients
messy genetic algorithm
linear combination
dynamic programming
countermeasures
formal model
security policies
network security
optimal solution
information security
access control
noisy data
intrusion detection
security mechanisms
decision procedures
security level
multiresolution
pairwise