Enviar por SMS: Verifying constant-time implementations