M. DeBell, “Towards Credible Vote Validation”, mda, pp. 1–31, Sep. 2026.