| Noninterference via symbolic execution D Milushev, W Beck, D Clarke International Conference on Formal Methods for Open Object-Based Distributed …, 2012 | 35 | 2012 |
| Runtime enforcement of security policies on black box reactive programs M Ngo, F Massacci, D Milushev, F Piessens Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 30 | 2015 |
| A novel genotoxin-specific qPCR array based on the metabolically competent human HepaRG™ cell line as a rapid and reliable tool for improved in vitro hazard … G Ates, B Mertens, A Heymans, L Verschaeve, D Milushev, P Vanparys, ... Archives of Toxicology 92, 1593-1608, 2018 | 29 | 2018 |
| Towards incrementalization of holistic hyperproperties D Milushev, D Clarke International Conference on Principles of Security and Trust, 329-348, 2012 | 14 | 2012 |
| Incremental hyperproperty model checking via games D Milushev, D Clarke Nordic Conference on Secure IT Systems, 247-262, 2013 | 13 | 2013 |
| In silico tools and transcriptomics analyses in the mutagenicity assessment of cosmetic ingredients: a proof-of-principle on how to add weight to the evidence G Ates, G Raitano, A Heymans, M Van Bossuyt, P Vanparys, B Mertens, ... Mutagenesis 31 (4), 453-461, 2016 | 10 | 2016 |
| Reasoning about hyperproperties DV Milushev Scholars' Press, 2014 | 7 | 2014 |
| Coinductive unwinding of security-relevant hyperproperties D Milushev, D Clarke Nordic Conference on Secure IT Systems, 121-136, 2012 | 3 | 2012 |
| Coinductive unwinding of security-relevant hyperproperties: extended version D Milushev, D Clarke CW Reports, volume CW623 28, 2012 | 2 | 2012 |
| Towards incrementalization of holistic hyperproperties: extended version D Milushev, D Clarke CW Reports, volume CW616 30, 2011 | 2 | 2011 |
| Intrusion Detection and Prevention to Enhance Security in VoIP Environments DV Milushev | | 2006 |
