Tools

I am the lead researcher and main developer of the following program analysis platforms:

• The Xyntia black-box deobfuscator
  • Description: Xyntia uses program synthesis to simplify local but highly obfuscated code snippets;
  • Linked publications: CCS 2021, CCS 2025
• 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