Formal Security Proofs via Doeblin Coefficients: - Optimal Side-Channel Factorization from Noisy Leakage to Random Probing.

Julien Bguinot, Wei Cheng, Sylvain Guilley, Olivier Rioul

Browse the full CRYPTO paper archive.