1. Design and Implementation of Static Analyses for Tezos Smart Contracts;Distributed Ledger Technologies: Research and Practice;2024-01-29
2. FLAREFUZZ: Fuzzing Javascript Engines via Deep Learning;2023 20th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP);2023-12-15
3. Code classification with graph neural networks: Have you ever struggled to make it work?;Expert Systems with Applications;2023-12
4. Input-Driven Dynamic Program Debloating for Code-Reuse Attack Mitigation;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
5. A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation;2023 IEEE 21st International Conference on Industrial Informatics (INDIN);2023-07-18