I'm not sure why this would force him to retire as an OpenBSD developer ? Did this research bring him some backlash from other developers ? If not, maybe he can advocate for a better acknowledgment of the issue from the inside ? Just wondering.

There was also a talk at some past FOSDEM or CCC, cannot recall which, where the presenter went through most OpenBSD security claims and provided a validation of their actual effectiveness against real attacks.