cryptoint

A new paper describing the cryptoint library, a design for cryptographic integer types that avoid undefined behavior in C, has been published by Daniel J. Bernstein. The approach uses a collection of C types that emulate saturated, constant-time arithmetic, aiming to make cryptographic code safer and easier to verify. Discussion online centres on whether this style of integer handling could reduce a common class of memory and timing bugs in security-critical software.