Encrypted Replicated Data Types within REScala
From the programming perspective, synchronization and availability along with privacy and security concerns add significant challenges. REScala combines advanced functional reactive programming with replicated data types to ensure automatic updates and eventual consistency, thus relieving developers from this complexity so that they can focus on the business logic of the application. However, normally the use of replicated data types requires that developers redesign their application to fit to the pre-defined set of operations and data types, moreover, storage of data on untrusted intermediaries for added reliability is often not considered. To address these issue, we design an easy-to-use programming model that allows developers to design application-specific replicated data types, which also enable automatic encryption and authentication. We show that our approach is suitable to encrypt communication between local-first applications while retaining coordination freedom.
Tue 7 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:00 | |||
13:30 30mTalk | Encrypted Replicated Data Types within REScala PLF Christian Kuessner , Ragnar Mogk Technische Universität Darmstadt, Anna-Katharina Wickert TU Darmstadt, Germany, Mira Mezini TU Darmstadt Pre-print | ||
14:00 30mTalk | Local-first Webstrates PLF Clemens Nylandsted Klokmose Aarhus University | ||
14:30 30mTalk | Building data-centric apps with a reactive relational database PLF Link to publication |