Preprint
Aug 2026
Weird Machines in Transport Layer Security
It is shown that legitimate TLS primitives, including session cache entries, renegotiation logic, extension parsing, and certificate verification steps, compose into Turing-complete systems whose computation is coupled to authentication and trust decisions rather than physical actuation.
Michael Collins, J. Cumberland, Brianne Dunn et al.
· 0 citations