FocusST Solution for Analysis of Cryptographic Properties. - Maria Spichkova; Radhika Bhat (ENASE, 2018)