ALEX HOFER — WIEN

I check whether AI actually finds security bugs.

Informatics at TU Wien, focused on cybersecurity. My bachelor’s thesis puts two LLM-based smart-contract scanners against a classic static analyser — and looks for the point where each of them stops. The bugs I work on all survive compilation: reentrancy, broken access control, and DeFi logic that is technically correct but economically exploitable. The first two have a recognisable shape; the last one only makes sense once you understand what the contract is trying to do — and whether a language model can do that is the actual question.

• Python ·
• Solidity/solc ·
• Docker ·
• SmartBugs ·
• Slither ·
• LLM pipelines ·
• ground-truth benchmarking ·
• pytest