home tags events about login

horia rss

just a simple OpenBSD appreciator

horia bonked 06 Mar 2026 07:56 -0800
original: stsp@bsd.network

WPA3

WPA3

I've been writing C code for the WPA3 SAE hash2element derivation algorithm all week, by cross-referencing the 802.11 spec which provides pseudo-code, a debug trace from wpa_supplicant, and source code from hostap.git.

Progressing at an incredible speed of about one line of pseudo-code per day. At this speed I can actually manage to understand what this is doing with hashes and elliptic curves, even though I'm not a trained mathematician

Each line of pseudo-code translates to about a dozen lines of C. My prototype uses libcrypto but eventually parts of this will need to run with 32-bit integer curve arithmetic in the OpenBSD kernel, probably with code I can generate with fiat-crypto.

horia honked 05 Mar 2026 10:08 -0800

What is your date of birth?

horia bonked 05 Mar 2026 09:42 -0800
original: miodvallat@hostux.social

Good morning! Today, the last part of the #OpenBSD/sgi story is available.

In this episode, hardware conditions documented as "Can't happen" happen, and support for one particular CPU model "everyone agrees will never get supported by free software" gets nevertheless written.

Read it at:
http://miod.online.fr/software/openbsd/stories/sgi6.html

You can also now read the whole story in one page:
http://miod.online.fr/software/openbsd/stories/sgiall.html

I'll return to the usual "new material on wednesdays" schedule next week.