Accepted Papers
Regular Papers
- Amal Raj, Vivek Balachandran - Quantum Opacity, Classical Clarity: A Hybrid Approach to Quantum Circuit Obfuscation
- Seyedeh Leili Mirtaheri, Amirhossein Majd, Reza Shahbazian, Andrea Pugliese - Knowledge-Driven Large Language Models for Automating CVSS Score Prediction
- Nikhil Bartake, See Toh Zi Jie, Carmen Wong Jiawen, Declan Fong Yi Ren, Michael Kasper, Vivek Balachandran - ObfusQate: Unveiling the First Quantum Program Obfuscation Framework
- Mohamed Sabt - Battling The Eye: Exploring the Anti-Cheat Techniques of BattlEye
- Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda - Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja
Replay Papers
- Nicolas Bellec, Grégoire Menguy, Frédéric Recoules, Sébastien Bardin - Improving Code Understanding by Mixing Backward Bounded Symbolic Execution with Lattice-based Property
- David Schmidt, Sebastian Schrittwieser - Automatic Uncovering of Hidden Behaviors From Input Validation in Mobile Apps
- Grégoire Menguy, Vidal Attias, Nicolas Bellec, Frédéric Recoules, Sébastien Bardin - Xyntia: Toward Bridging The Gap Between Black-box Deobfuscation and Program Synthesis
Program
| 9:20 - 9:30 | Welcome Message and Opening Remarks |
| 9:30 - 10:30 | Session 1: Keynote - Woosuk Lee |
| 10:30 - 11:00 | Break |
| 11:00 | Session 2: Quantum Obfuscation |
| 11:00 - 11:30 | Quantum Opacity, Classical Clarity: A Hybrid Approach to Quantum Circuit Obfuscation |
| 11:30 - 12:00 | ObfusQate: Unveiling the First Quantum Program Obfuscation Framework |
| 12:00 - 13:30 | Lunch Break |
| 13:30 | Session 3: Understanding |
| 13:30 - 14:00 | Improving Code Understanding by Mixing Backward Bounded Symbolic Execution with Lattice-based Property |
| 14:00 - 14:30 | Automatic Uncovering of Hidden Behaviors From Input Validation in Mobile Apps |
| 14:30 - 15:00 | Knowledge-Driven Large Language Models for Automating CVSS Score Prediction |
| 15:00 - 15:30 | Break |
| 15:30 | Session 4: Deobfuscation and MATE |
| 15:30 - 16:00 | Xyntia: Toward Bridging The Gap Between Black-box Deobfuscation and Program Synthesis |
| 16:00 - 16:30 | Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja |
| 16:30 - 17:00 | Battling The Eye: Exploring the Anti-Cheat Techniques of BattlEye |
| 17:00 - 17:10 | Closing Remarks |
The CheckMATE workshop will include a dedicated session focusing on topics related to the SERICS (SEcurity and RIghts in the CyberSpace) Project. The session will provide an overview of some of the research directions addressed by the initiative and encourage dialogue with the scientific community.