EPFL

Semester thesis at EPFL: a new backend for the upstream AIDL compiler that auto-generates structure-aware libFuzzer harnesses for Android Binder services, lifting transaction success rates from 20-60 % to 85-99 %.

Industrial Automation course at EPFL: full design of an automated chocolate powder plant - field instrumentation, PLC architecture, SCADA selection and a qualitative dependability analysis.

Software Security lab at EPFL: improving the OSS-Fuzz harnesses for binutils’ strings and objcopy utilities, finding a real (low-severity) DoS along the way, and upstreaming the strings fix to OSS-Fuzz.