A tool for the synthesis of cryptographic orchestratorsVincenzo Ciancia, Ernesto Pimentel, Fabio Martinelli et al.|Unknown|2012Cited by 4