{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Russo, Enrico, Gabriele Costa, and Alessandro Armando. \i Scenario Design and Validation for Next Generation Cyber Ranges\i0  In \i 2018 IEEE 17th International Symposium on Network Computing and Applications (NCA)\i0 . Cambridge, MA, USA, 2018.\par \par Wrona, Konrad, Sander Oudkerk, Alessandro Armando, Silvio Ranise, and Lisa Ferrari. \i Assisted Content-based Labelling and Classification of Documents\i0  In \i Proceedings of the International Conference on Military Communications and Information System (ICMCIS)\i0 ., 2016.\par \par Armando, Alessandro, Gabriele Costa, Alessio Merlo, Luca Verderame, and Konrad Wrona. \i Developing a NATO BYOD Security Policy\i0  In \i International Conference on Military Communications and Information System, ICMCIS\i0 . Brussels, Belgium, 2016.\par \par Armando, Alessandro, Gabriele Costa, Alessio Merlo, and Luca Verderame. \i Enabling BYOD Through Secure Meta-market\i0  In \i 2014 ACM Conference on Security and Privacy in Wireless & Mobile Networks, WiSec?14\i0 . Oxford, United Kingdom, 2014.\par \par Armando, Alessandro, Gabriele Costa, and Alessio Merlo. \i Bring Your Own Device, Securely\i0  In \i 28th Annual ACM Symposium on Applied Computing, SAC?13\i0 . Coimbra, Portugal, 2013.\par \par Armando, Alessandro, and Luca Compagna. "SAT-based Model-Checking for Security Protocols Analysis." \i International Journal of Information Security\i0  7, no. 1 (2008): 3-32.\par \par Armando, Alessandro, D.A. Basin, and Y. Boichut. "\i The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications\i0 ." In \i International Conference on Computer Aided Verification CAV 2005\i0 . Heidelberg: Springer, 2005.\par \par }