Publications
PhD Thesis
- D. Milushev, “Reasoning about Hyperproperties,” PhD thesis, KU Leuven, Heverlee, Belgium, 2013.
Master Thesis
- D. Milushev, “Public Key Infrastructure for Wireless Systems,” Master's thesis, Hamburg University of Technology, Hamburg, Germany, 2007.
Project Work (Studienarbeit)
- D. Milushev, “Intrusion Detection and Prevention to Enhance Security in VoIP Environments,” Hamburg University of Technology, Hamburg, Germany, 2006.
Conference Articles
- M. Ngo, F. Massacci, D. Milushev, and F. Piessens, “Runtime Enforcement of Security Policies on Black Box Reactive Programs,” in Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, POPL 2015, Mumbai, India, January
15-17, 2015, ACM, 2015, pp. 43–54.
- D. Milushev and D. Clarke, “Incremental hyperproperty model checking via games,” in Secure IT Systems, Springer, 2013, pp. 247–262.
- D. Milushev, “Reasoning about Hyperproperties,” PhD thesis, KU Leuven, Heverlee, Belgium, 2013.
- D. Milushev, W. Beck, and D. Clarke, “Noninterference via symbolic execution,” in Formal Techniques for Distributed Systems, Springer, 2012, pp. 152–168.
- D. Milushev and D. Clarke, “Coinductive unwinding of security-relevant hyperproperties,” in Proceedings of the 17th Nordic Conference on Secure IT Systems, vol. 7617, Springer, 2012, pp. 121–136.
- D. Milushev and D. Clarke, “Towards Incrementalization of Holistic Hyperproperties,” in Proceedings of the First International Conference on Principles of Security and Trust, vol. 7215, Springer, 2012, pp. 329–348.
Journal Article
- G. Ates, G. Raitano, M. Van Bossuyt, P. Vanparys, B. Mertens, C. Chesne, A. Roncaglioni, D. Milushev, E. Benfenati, V. Rogiers, and T. Y. Doktorova, “In silico tools and transcriptomics analyses in the mutagenicity assessment of cosmetic ingredients: adding weight to the evidence?,” Mutagenesis. 2015.