news
Mar 6, 2025 | Our paper Automated Exploit Generation for Node.js Packages was accepted at PLDI! |
---|---|
Oct 8, 2024 | Our paper Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly was accepted at The Programming Journal! |
Apr 29, 2022 | Our paper Concolic Execution for WebAssembly was accepted at ECOOP’22! |
Dec 3, 2021 | I’ve now completed my MSc in Computer Science and Engineering at IST! |