Comment by pjmlp

He surely also had to face his share of C issues, here advocacy for "Boring C" in 2015,

https://groups.google.com/g/boring-crypto/c/48qa1kWignU/m/o8...