Mathias Payer

Bluezz's Reactive Peripheral Modeling uncovers vulnerabilities in BLE firmware that traditional rehosting methods miss, achieving over 2.6 times the basic-block coverage of its predecessors.

CodeMechanic transforms the landscape of automated vulnerability mitigation by prioritizing security over availability, effectively turning potential exploits into controlled terminations.

All 15 evaluated x402 facilitators have critical security flaws that could lead to severe financial losses for merchants and users alike.

Current browser security testing misses high-impact vulnerabilities, focusing instead on well-trodden paths while leaving critical attack surfaces exposed.