Dimiter Milushev

According to our database, Dimiter Milushev authored at least 6 papers between 2012 and 2015.

Collaborative distances:

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

2015

Runtime Enforcement of Security Policies on Black Box Reactive Programs.

Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2013

Reasoning about Hyperproperties (Redeneren over hyperproperties) ; Reasoning about Hyperproperties.

Dimiter Milushev

PhD thesis, 2013

Incremental Hyperproperty Model Checking via Games.

Dimiter Milushev, Dave Clarke

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

2012

Towards Incrementalization of Holistic Hyperproperties.

Dimiter Milushev, Dave Clarke

Proceedings of the Principles of Security and Trust - First International Conference, 2012

Coinductive Unwinding of Security-Relevant Hyperproperties.

Dimiter Milushev, Dave Clarke

Proceedings of the Secure IT Systems - 17th Nordic Conference, 2012

Noninterference via Symbolic Execution.

Dimiter Milushev, Wim Beck, Dave Clarke

Proceedings of the Formal Techniques for Distributed Systems, 2012