Envoyer par SMS: Bayesian inference with certifiable adversarial robustness