Andreas Put, Italo Dacosta, Milica Milutinovic, Bart De Decker: PriMan: Facilitating the Development of Secure and Privacy-Preserving Applications. SEC 2014: 403-416