Russo, Enrico, Gabriele Costa, and Alessandro Armando. 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.

Wrona, Konrad, Sander Oudkerk, Alessandro Armando, Silvio Ranise, and Lisa Ferrari. Assisted Content-based Labelling and Classification of Documents In Proceedings of the International Conference on Military Communications and Information System (ICMCIS)., 2016.

Armando, Alessandro, Gabriele Costa, Alessio Merlo, Luca Verderame, and Konrad Wrona. Developing a NATO BYOD Security Policy In International Conference on Military Communications and Information System, ICMCIS. Brussels, Belgium, 2016.

Armando, Alessandro, Gabriele Costa, Alessio Merlo, and Luca Verderame. Enabling BYOD Through Secure Meta-market In 2014 ACM Conference on Security and Privacy in Wireless & Mobile Networks, WiSec?14. Oxford, United Kingdom, 2014.

Armando, Alessandro, Gabriele Costa, and Alessio Merlo. Bring Your Own Device, Securely In 28th Annual ACM Symposium on Applied Computing, SAC?13. Coimbra, Portugal, 2013.

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

Armando, Alessandro, D.A. Basin, and Y. Boichut. "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.