2012 journal article
First step towards automatic correction of firewall policy faults
ACM Transactions on Autonomous and Adaptive Systems, 7(2).
2012 conference paper
Selection of regression system tests for security policy evolution
2012 proceedings of the 27th ieee/acm international conference on automated software engineering (ase), 266–269.
2009 conference paper
Detection of multiple-duty-related security leakage in access control policies
2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement, Proceedings, 65–74.