Grammar-based transformations: attack and defence. - Dusan Repel; Ingo Stengel (Inf. Manag. Comput. Secur., 2014)

Modular Synthesis of Heap Exploits. - Dusan Repel; Johannes Kinder; Lorenzo Cavallaro (PLAS@CCS, 2017)