SecureScala: Scala embedding of secure computations. - Markus Hauck; Savvas Savvides; Patrick Eugster; Mira Mezini; Guido Salvaneschi (SCALA@SPLASH, 2016)