Dimiter Milushev
Dimiter Milushev
Verified email at cs.kuleuven.be
Title
Cited by
Cited by
Year
Noninterference via symbolic execution
D Milushev, W Beck, D Clarke
Formal Techniques for Distributed Systems, 152-168, 2012
282012
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
242015
Towards incrementalization of holistic hyperproperties
D Milushev, D Clarke
International Conference on Principles of Security and Trust, 329-348, 2012
142012
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 assessment
G Ates, B Mertens, A Heymans, L Verschaeve, D Milushev, P Vanparys, ...
Archives of toxicology 92 (4), 1593-1608, 2018
122018
Incremental hyperproperty model checking via games
D Milushev, D Clarke
Nordic Conference on Secure IT Systems, 247-262, 2013
122013
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
82016
Reasoning about hyperproperties
DV Milushev
Scholars' Press, 2014
82014
Coinductive unwinding of security-relevant hyperproperties
D Milushev, D Clarke
Nordic Conference on Secure IT Systems, 121-136, 2012
42012
Towards incrementalization of holistic hyperproperties: extended version
D Milushev, D Clarke
CW Reports, volume CW616 30, 2011
32011
Coinductive unwinding of security-relevant hyperproperties: extended version
D Milushev, D Clarke
CW Reports, volume CW623 28, 2012
22012
Reasoning about Hyperproperties (Redeneren over hyperproperties)
D Milushev
2013
Incremental hyperproperty model checking via games
D Clarke, D Milushev
The system can't perform the operation now. Try again later.
Articles 1–12