They also don't credit them in the con booklet either (but did credit Rpi). And the credit in the software is what got the firmware author kicked out, so it very much feels like defcon went out of their way to avoid crediting them for some reason.

And issuing a stop work order doesn't mean you can just not pay for the work done so far. It means you're not paying for any further work.