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
TBA
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.