Noninterference via Symbolic Execution. - Dimiter Milushev; Wim Beck; Dave Clarke 001 (FMOODS/FORTE, 2012)

Coinductive Unwinding of Security-Relevant Hyperproperties. - Dimiter Milushev; Dave Clarke 001 (NordSec, 2012)

Towards Incrementalization of Holistic Hyperproperties. - Dimiter Milushev; Dave Clarke 001 (POST, 2012)

Incremental Hyperproperty Model Checking via Games. - Dimiter Milushev; Dave Clarke 001 (NordSec, 2013)

Reasoning about Hyperproperties (Redeneren over hyperproperties) ; Reasoning about Hyperproperties. - Dimiter Milushev (2013)

Runtime Enforcement of Security Policies on Black Box Reactive Programs. - Minh Ngo; Fabio Massacci; Dimiter Milushev; Frank Piessens (POPL, 2015)