Dear Duminda, thank you for your interest in the COMPASS toolset. Since you are based outside of the ESA member states, a technology transfer approval from the technology transfer department of ESA would be required. Unfortunately, experience has shown that it has little chance of success, since ESA has recently become more strict about allowing exploitation outside the ESA member states. In a future perspective (time span of a few months from now) we plan to discuss with ESA about the possibility to change the license of COMPASS and open it to non-ESA member states. Likely, this may take some time to become reality (if possible at all). I can inform you in due time, if we succeed. A possible alternative is to consider using the COMPASS back-ends directly. FBK owns the IPR of the NuSMV model checker and related tools (nuXmv, xSAP, OCRA -- see nuxmv.fbk.eu, xsap.fbk.eu, ocra.fbk.eu), whose use is free for academic research, whereas RWTH Aachen University owns the IPR of the probabilistic tools (MRMC, IMCA, Sigref). We would be glad to arrange a demonstration of these tools, if it is of interest for you. Kind regards, Marco On 15-Feb-21 04:36, Duminda Wijesekera wrote:

Dear Sir/Madam,

I am contacting you on behalf of (a group) George Mason University's Cyber Security Engineering Researchers. We are not members of the ESA not EU. Is it possible to obtain the COMPASS toolset for research purposes? If so, please let me know the procedure, and I can ask my university to sign requisite agreements or NDA s on behalf of us.

Kind Regards

Duminda Wijesekera,

Professor, Department of Computer Science,

Acting Chair - Department of Cyber Security Engineering,

George Mason University,

Fairfax, VA 22030

703-993-5030

dwijesek@gmu.edu

_______________________________________________ COMPASS-support mailing list -- compass-support@lists.rwth-aachen.de To unsubscribe send an email to compass-support-leave@lists.rwth-aachen.de https://lists.rwth-aachen.de/postorius/lists/compass-support.lists.rwth-aach...

-- ============================================================================== Marco Bozzano, PhD, Researcher at FBK Via Sommarive 18, Povo, 38123 Trento (Italy) ph.: +39-0461-314367 mobile: +39-366-6722580 (calls only, no SMS) bozzano@fbk.eu, http://es.fbk.eu/people/bozzano/ ============================================================================== -- -- Le informazioni contenute nella presente comunicazione sono di natura  privata e come tali sono da considerarsi riservate ed indirizzate  esclusivamente ai destinatari indicati e per le finalità strettamente  legate al relativo contenuto. Se avete ricevuto questo messaggio per  errore, vi preghiamo di eliminarlo e di inviare una comunicazione  all’indirizzo e-mail del mittente. -- The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. If you received this in error, please contact the sender and delete the material.