Scenario Design and Validation for Next Generation Cyber Ranges In 2018 IEEE 17th International Symposium on Network Computing and Applications (NCA). Cambridge, MA, USA, 2018.

Assisted Content-based Labelling and Classification of Documents In Proceedings of the International Conference on Military Communications and Information System (ICMCIS)., 2016.

Developing a NATO BYOD Security Policy In International Conference on Military Communications and Information System, ICMCIS. Brussels, Belgium, 2016.

Enabling BYOD Through Secure Meta-market In 2014 ACM Conference on Security and Privacy in Wireless & Mobile Networks, WiSec?14. Oxford, United Kingdom, 2014.

Bring Your Own Device, Securely In 28th Annual ACM Symposium on Applied Computing, SAC?13. Coimbra, Portugal, 2013.

"SAT-based Model-Checking for Security Protocols Analysis." International Journal of Information Security 7, no. 1 (2008): 3-32.

"The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications." In International Conference on Computer Aided Verification CAV 2005. Heidelberg: Springer, 2005.