3 papers
cs.PL2026
Agentic Separation Logic Specification Synthesis
Tarun Suresh, David Korczynski, Julien Vanegue
Specification synthesis, the task of automatically inferring formal specifications from program implementations and natural language, is important for refactoring, transpilation, o…
cs.CR2019
A characterisation of system-wide propagation in the malware landscape
David Korczynski
System-wide propagation is frequently observed in malware, and there are several resources, like blog posts and similar, that detail some of the techniques used. However, there is…
cs.CR2019
Precise system-wide concatic malware unpacking
David Korczynski
Run time packing is a common approach malware use to obfuscate their payloads, and automatic unpacking is, therefore, highly relevant. The problem has received much attention, and…