Lost posted the badge firmware here:

http://lostboy.net/defcon-20-badge