Lean proved this program correct; then I found a bug(kirancodes.me)
375 points by bumbledraven | 167 comments
Blog post describing how fuzzing a formally verified Lean implementation of zlib uncovered a buffer overflow in the Lean runtime.
#buffer-overflow on Hacker News
4 stories tagged buffer-overflow, newest first.
TP-Link Tapo C200: Hardcoded Keys, Buffer Overflows and Privacy(evilsocket.net)
323 points by sibellavia | 104 comments
Blog post by Simone Margaritelli detailing reverse engineering of the TP-Link Tapo C200 camera, finding hardcoded keys, buffer overflows and privacy issues with AI assistance.
Tony Hawk's Pro Strcpy(icode4.coffee)
658 points by ndiddy | 90 comments
Blog post by Ryan Miceli describing a strcpy buffer overflow exploit in Tony Hawk's Pro Skater games across GameCube, PS2, Xbox and Xbox 360.
Show HN: RISC-V assembly tabletop board game (hack your opponent)(punkx.org)
372 points by throwaway71271 | 41 comments
Project page for Overflow, a tabletop and web board game where players write RISC-V assembly and exploit buffer overflows to hack opponents.