I am the lead researcher and main developer of the following program analysis platforms:
- The Xyntia black-box deobfuscator
- The PreCA black-box precondition learner
- Description: PreCA leverages constraint acquisition to perform precondition inference in black-box and with correctness guarantees.
- Linked publications: IJCAI 2022, KR 2023, JAIR 2025