Dimiter Milushev

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 1

Top Topics

Xml Access Control

Security Policies

Symbolic Execution

Temporal Properties

Top Venues

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens
Runtime Enforcement of Security Policies on Black Box Reactive Programs. POPL (2015)
Dimiter Milushev, Dave Clarke
Incremental Hyperproperty Model Checking via Games. NordSec (2013)
Dimiter Milushev, Dave Clarke
Coinductive Unwinding of Security-Relevant Hyperproperties. NordSec (2012)
Dimiter Milushev, Wim Beck, Dave Clarke
Noninterference via Symbolic Execution. FMOODS/FORTE (2012)
Dimiter Milushev, Dave Clarke
Towards Incrementalization of Holistic Hyperproperties. POST (2012)