Scala 2016
Sun 30 - Mon 31 October 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Sun 30 Oct 2016 14:20 - 14:45 at Matterhorn 2 - Embedding

Cloud computing offers an attractive and cost-efficient computing platform and hence it has been widely adopted by the industry and the government. At the same time, cloud computing poses a serious security challenge because sensitive data must often be outsourced to third party entities that can access the data and perform computations on them.
Partial homomorphic encryption is promising for secure computation, since it allows programs to be executed over encrypted data. Despite advances in cryptographic techniques have improved the expressivity of such programs, integration with mainstream languages has seen little progress.
To this end, we present SecureScala, a domain-specific language in Scala that allows expressing secure programs without requiring any cryptographic knowledge. SecureScala is based on a novel combination of free monads and free applicative functors and supports parallel execution and static analyzability. We evaluate our approach through several case studies, demonstrate its expressivity, and show that it incurs in limited performance overhead.

Sun 30 Oct
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10: Scala - Embedding at Matterhorn 2
scala-201613:30 - 13:55
Georg OfenbeckETH Zurich, Switzerland, Tiark RompfPurdue University, USA, Markus PüschelETH Zurich
DOI File Attached
scala-201613:55 - 14:20
Tiark RompfPurdue University, USA
scala-201614:20 - 14:45
Markus Hauckcodecentric AG, Savvas SavvidesPurdue University, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt, Guido SalvaneschiTU Darmstadt, Germany
DOI Pre-print Media Attached
scala-201614:45 - 15:10
Zeljko Bajic, Milan JovicDepartment of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad