In Memoriam: Peter G. Neumann (1932-2026) (acm.org)