--- name: Adam C. Foltzer affiliation: Galois ---