Discovering and exploiting controllable-copy objects for kernel data-only attacks

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Jakob Koschel, Andrea Mambretti, Alessandro Sorniotti, Pietro Moretto, Claudio Migliorelli, Andrea Di Dio, Cristiano Giuffrida, Anil Kurmus
DOI: 10.5281/zenodo.18500424
Cited by: 0

Abstract

This repository contains the results of our system CopyKat. It includes, the 122 verified objects with theirs constraints, their reproducers and Panda traces. Furthermore, we include through diff files all the changes we made to syzkaller, Panda and S2E including the pre-made image used for the analyses. Instruction and code to reproduce the artifact will appear at https://github.com/IBM/CopyKat

Fields of Study & Subjects

Security and Verification in Computing Software Testing and Debugging Techniques Cryptographic Implementations and Security

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
5 February 2026