[Full-disclosure] Allegations regarding OpenBSD IPSEC

[BMF]

On Wed, Dec 15, 2010 at 3:46 PM, clément Game <clement at digi-nation.com> wrote:
> i second that...yet we obviously need to figure out better ways to audit the code...maybe some kind of security-oriented unit-test framework ? ( dont'know if it exists already, and if it does, maybe that it's already employed  for the OpenBSD project...dunno )

We're likely talking potential side-channel key leakage here...that
sort of thing will be very hard to find. Unit-testing is not
applicable.

The worst thing about this sort of allegation is that it is impossible
to prove that it isn't true. All we will ever be able to say is "We
haven't found it yet."

BMF