Prof. J. Alex Halderman

Professor of CSE, UMich; Director, CCSS

Ann Arbor / UMich

Kernel isolation review & independent security assessment.

Applied cryptography, electronic voting security, Let's Encrypt founder.

Professor of Computer Science & Engineering at the University of Michigan and Director of the Center for Computer Security & Society. Co-founder of Censys, Let's Encrypt and BallotIQ.

An authority on applied cryptography, internet-scale scanning and verifiable voting architectures. His foundational work on Let's Encrypt established automated cryptographic trust across the broader web.

Primary academic / non-investor validator for the coalition. A formal academic review of Ink Receipt canonicalization algorithms, deterministic encoding and the threat model provides rigorous verification that commercial investors can rely upon.

Non-Investor Academic Validator

—

—

—

—

—

—

EFF, Mozilla Foundation, NSF Cyber Grants

US Senate Intelligence Committee, State Dept, EAC

MJ Cartwright (UMich), BallotIQ team

BallotIQ (election security focus only).