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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10: EmbeddingScala at Matterhorn 2
13:30 - 13:55
RandIR: Differential Testing for Embedded Compilers
Georg OfenbeckETH Zurich, Switzerland, Tiark RompfPurdue University, USA, Markus PüschelETH Zurich
DOI File Attached
13:55 - 14:20
Reflections on LMS: Exploring Front-End Alternatives
Tiark RompfPurdue University, USA
14:20 - 14:45
SecureScala: Scala Embedding of Secure Computations
Markus Hauckcodecentric AG, Savvas SavvidesPurdue University, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt, Guido SalvaneschiTU Darmstadt, Germany
DOI Pre-print Media Attached
14:45 - 15:10
Towards a Scala embedded information system description DSL
Zeljko Bajic, Milan JovicDepartment of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad