<i>carry propagation bugs are well-studied</i><p>True.  But they tend to be well-studied by computer security people, not by mathematicians; and most computer security people won&#x27;t have the necessary number theory &#x2F; group theory background.<p>This is precisely the class of bugs for which proper assessment requires mathematicians who study computer security... aka. NSA employees.