According to our database1, Ultan Neville authored at least 6 papers between 2012 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Reasoning about firewall policies through refinement and composition.
Journal of Computer Security, 2018
Reasoning About Firewall Policies Through Refinement and Composition
PhD thesis, February, 2017
Reasoning About Firewall Policies Through Refinement and Composition.
Proceedings of the Data and Applications Security and Privacy XXX, 2016
A firewall algebra for OpenStack.
Proceedings of the 2015 IEEE Conference on Communications and Network Security, 2015
MASON: Mobile autonomic security for network access controls.
J. Inf. Sec. Appl., 2013
Automated Smartphone Security Configuration.
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012