Synthesis of code-reuse attacks from p-code programs by Melham, TF, DenHoed, M

Automatic heap layout manipulation for exploitation by Heelan, S, Melham, TF, Kroening, D

Artifacts for "Synthesis of code-reuse attacks from p-code programs" by DenHoed, M, Melham, TF

Verification of tree-based hierarchical read-copy update in the Linux kernel by Liang, L, McKenney, PE, Kroening, D, Melham, TF

DeepSynth: Automata synthesis for automatic task segmentation in deep reinforcement learning by Hasanbeig, M, Yogananda Jeppu, N, Abate, A, Melham, TF, Kroening, D