David Korczynski

According to our database, David Korczynski authored at least 6 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Agentic Separation Logic Specification Synthesis.

Tarun Suresh, David Korczynski, Julien Vanegue

CoRR, May, 2026

2019

Automated analysis of system-wide malware propagation.

David Korczynski

PhD thesis, 2019

A characterisation of system-wide propagation in the malware landscape.

David Korczynski

CoRR, 2019

Precise system-wide concatic malware unpacking.

David Korczynski

CoRR, 2019

2017

Capturing Malware Propagations with Code Injections and Code-Reuse Attacks.

David Korczynski, Heng Yin

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

RePEconstruct: reconstructing binaries with self-modifying code and import address table destruction.

David Korczynski

Proceedings of the 11th International Conference on Malicious and Unwanted Software, 2016