Maria Spichkova, Radhika Bhat. FocusST Solution for Analysis of Cryptographic Properties. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018. pages 320-327, SciTePress, 2018. [doi]