DOCSLIB.ORG

Making Federated Networks More Distributed

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Making Federated Networks More Distributed 2019 38th Symposium on Reliable Distributed Systems (SRDS) Making Federated Networks More Distributed Alex Auvolat Univ. Rennes, Inria, CNRS, IRISA [email protected] Abstract—Federated networks such as Mastodon or Matrix their actions, are replaced by a distributed scheme based have seen rising usage thanks to their ability to provide users on public key cryptography where users detain their with good privacy and independence from large service providers, identity themselves in the form of a private signing key. while retaining the familiar model of server-backed websites or • mobile apps with its advantages of speed, availability and ease Authoritative copies of objects (such as a user’s set of of use. However such systems are fragile since each individual messages) held by a single server are replaced by a server of the federation is a single point of failure for its users. distributed data model where any node may produce We argue that new secure distributed algorithms could be updates, as long as they are signed by an authorized conceived and applied without changing the server-backed nature user, and may do so without coordination with other of the system, and that such a configuration would provide systemic resilience and better independence of end users from nodes thanks to eventually consistent data types such as their service providers, without sacrificing privacy, availability, CRDTs [3]. efficiency or ease of use. In this manner, users may store their data on several servers Index Terms —distributed system, online social networks, fed- to ensure redundancy. When any issue arises with a specific eration of servers², privacy, zero-knowledge architecture, CRDT server, they may easily switch to another server node. The process of selecting server nodes and switching from one to I. INTRODUCTION another could be completely automated and invisible to the user. Mainstream online applications rely on massive centralized In this paper, we propose a preliminary exploration of this platforms that have demonstrated several important modes architecture and of its impacts on privacy and usability. of failure such as non-respect of user privacy, vendor lock- in, abuse of authority and conflicts of interest. Acting upon II. A DECENTRALIZED DATA MODEL the observation that centralized platforms owned by large To make the architecture we propose possible, we must corporations cannot be trusted with users’ personal data, the define a new distributed data model that allows for eventual academic community as well as the Free and Open Source consistency and gives authority to the users. We propose Software movement have produced many alternative systems. a data model where data is stored in objects that have a Federated networks [1], [2] are such systems that have caught defined access control policy as well as CRDT semantics for up in usage thanks to the familiar model they provide to users conflict-free merges, enabling eventual consistency without of access through simple and efficient websites or mobile apps. coordination. Applications may combine many objects with However we argue that federated networks are inherently different parameters in order to provide familiar functionalities fragile, since they rely strongly on each individual server of such as chat rooms, news feeds, discussion forums or private the federation to realize critical tasks such as identity manage- messages. In order to protect user privacy, only encrypted ment, access control and data management. The diversity of data is stored in these objects and applications have a key providers involved augments the probability of crash failure, distribution mechanism so that only authorized clients and no data leak and Byzantine behaviour by a provider. Moreover server may obtain the encryption keys [4], [5]. since many such servers are run by volunteers, the probability The CRDTs that have been studied up to date do not of failure of the social support structure (lack of funding, lack incorporate a permission model: all nodes that participate in of members’ involvement) is also high. the system are allowed to update the data. In order to imple- To correct these issues, authority and trust must be removed ment a permission model, verification of user identity must from the individual servers, allowing for redundancy without be achieved. This can be achieved in a decentralized fashion coordination. To realize this vision, we suggest an architecture using public key cryptography where end users’ devices hold where: the private keys. Thus all updates produced to a shared object • Centralized user directories at each server of the feder- are signed by the key of a user, and the validity of updates is ation, which are used to identify users and authenticate proved by such a signature, and not by authority of a server. The simplest example of such an object is a set of messages This work has been partially supported by the French ANR projects where only messages signed by an authorized user may be DESCARTES n. ANR-16-CE40-0023, and PAMELA n. ANR-16-CE23-0016. I wish to thank my advisors, Franc¸ois Ta¨ıani and David Bromberg, for their stored and no message may be deleted. Conflict resolution feedback and support. consists simply in exchanging missing messages from one side 2575-8462/19/$31.00 ©2019 IEEE 383 DOI 10.1109/SRDS47363.2019.00058 to the other. All applications can be implemented over such a A detailed analysis of the properties of our system under a simple abstraction [6], [7], however the ever-growing nature defined thread model remains to be done. While our primary of the data makes its use impractical. aim is not to provide stronger privacy than existing solutions To allow for the data to shrink, updates must be allowed to such as to end-to-end encrypted Matrix, an interesting av- supersede previous events. However allowing any user to pro- enue of research consists in finding appropriate cryptographic duce an update that erases previous events allows for abusive techniques for ensuring CRDT safety in a sufficiently general deletion of information, which must be prevented. In order to model while revealing as little as possible on the identity of implement safely any specification of update and delete rights participants. without a trusted authoritative server, a set of users could be IV. USABILITY CONSIDERATIONS designated as verifiers whose validation is required before any data is terminally erased. A collective verification scheme has Being based on a client/server model, our system could be already been proposed by Frientegrity [8] in the context of an implemented as a traditional website where all encryption is untrusted central server. We propose to revisit this scheme in done by the JavaScript client code and keys are kept in the a distributed setting where events do not form a linear stream browser’s local storage. With the help of servers for storing, ordered by a central server but form a DAG of events produced serving and disseminating information, the performance loss in a decentralized fashion such as in the Matrix network [2]. compared to a regular centralized or federated service could be In such a scheme, each event of the DAG would contain a minimal. Lightweight devices such as smartphones could also reference to the whole state of the object at that point, for connect to the service without needing to store or exchange instance in the form of a Merkle tree [9]. The validity of such large amounts of data. Thanks to compact proofs of object a state would be proved by a small number of predecessors state validity, clients need not trust the servers in any fashion in the event DAG, under the hypothesis that no more than and can verify the provided data at a limited cost. a certain number of trusted validators are Byzantine 1. Thus Identity and key management remains an issue for non- nodes of the network could safely delete older events and states technical users, however we believe that good user interface and reclaim unused space. design can help with this task. Mechanisms and user interfaces to ease key management is an actively researched area in the III. IMPACTS ON PRIVACY context of cryptocurrencies, with solutions such as social key recovery or hardware wallets. With standard end-to-end encryption [4], [5], neither the server nor an unauthorized eavesdropper may read the content V. P ERSPECTIVES AND FUTURE WORK of messages. However metadata such as the timing of mes- Future works will consist in formalizing our system and sages and identity of participants in a conversation can still providing a detailed technical analysis of the privacy and be leaked. Strong metadata privacy requires costly approaches safety properties with respect to the goals we have set. In this such as Vuvuzela [10]. regard, precise threat models and attack scenarios will have Unfortunately, our proposed scheme for CRDTs with ver- to be defined and analyzed. A first prototype could then be ified states is at odds with metadata privacy, since updates implemented and evaluated from an efficiency point of view. must be signed by a valid key from a set of authorized users, In addition to micro-benchmarks, direct comparisons with thus revealing participant identity and activity to the servers. systems such as Secure Scuttlebutt (SSB) [6] could be made However we propose several means to improve data protection: for instance by crawling the SSB network and replaying the • A honest server node will communicate object data to whole set of events in the different systems that are evaluated. another node only when authorized by a user that has REFERENCES read rights to that object. Thus metadata may leak only if one user accesses the object through a malicious or [1] https://joinmastodon.org/. [2] https://matrix.org/. compromised server.
Load more

Recommended publications
  • Pangea Jurisdiction and Pangea Arbitration Token (PAT)
    Pangea Jurisdiction and Pangea Arbitration Token (PAT) The Internet of Sovereignty Susanne Tarkowski Tempelhof, Eliott Teissonniere James Fennell Tempelhof and Dana Edwards Bitnation, Planet Earth, April 2017 Pangea Jurisdiction and Pangea Arbitration Token (PAT) The Internet of Sovereignty Susanne Tarkowski Tempelhof, Eliott Teissonniere, James Fennell Tempelhof and Dana Edwards Bitnation, Planet Earth, April 2017 <abstract_ The Pangea software is a Decentralized Opt-In Jurisdiction where Citizens can conduct peer- to-peer arbitration and create Nations. Pangea uses the Panthalassa mesh, which is built using Secure Scuttlebutt (SSB) and Interplanetary File System (IPFS) protocols. This enables Pangea to be highly resilient and secure, conferring resistance to emergent threats such as high- performance quantum cryptography. Pangea is blockchain agnostic but uses the Ethereum blockchain for the time being. In the future, other chains such as Bitcoin, EOS and Tezos can be integrated with Pangea. The Pangea Arbitration Token (PAT) is an ERC20 compatible in-app token for the Pangea Jurisdiction. The PAT token rewards good reputation and is issued on Pangea when Citizens accumulate non-tradable reputation tokens through creating a contract, successfully completing a contract or resolving a dispute attached to a contract. PAT is an algorithmic reputation token, an arbitration currency based on performance rather than purchasing power, popularity or attention. The distribution mechanism for PAT tokens on Pangea is an autonomous agent, Lucy, which will initially launch on Ethereum as a smart contract. This mechanism is blockchain agnostic and can be ported to any viable smart contract platform. An oracle created by Bitnation will help to facilitate this (semi-) autonomous distribution mechanism in a decentralized and secure fashion.
    [Show full text]
  • Migration in the Stencil Pluralist Cloud Architecture
    Migration in the Stencil Pluralist Cloud Architecture Tai Liu Zain Tariq Tencent America LLC New York University Abu Dhabi [email protected] [email protected] Barath Raghavan Jay Chen University of Southern California International Computer Science Institute [email protected] [email protected] ABSTRACT There are many important technical design challenges in decen- A debate in the research community has buzzed in the background tralized infrastructure, including security, naming, and more. Our for years: should large-scale Internet services be centralized or de- goal is to narrow the focus to the key issues the architecture must centralized? Now-common centralized cloud and web services have adjudicate as opposed to an individual application or service. We downsides—user lock-in and loss of privacy and data control—that argue that we need a pluralist architecture: one that allows the are increasingly apparent. However, their decentralized counter- co-existence of applications and seamless migration between them. parts have struggled to gain adoption, suffer from their own prob- Not only can such an architecture prevent user lock in, but it can lems of scalability and trust, and eventually may result in the exact also ease the pain of developing decentralized applications. Put same lock-in they intended to prevent. another way, a pluralist architecture is one that picks no winners: In this paper, we explore the design of a pluralist cloud architec- instead, it allows a marketplace of services to be developed, and ture, Stencil, one that can serve as a narrow waist for user-facing provides enough scaffolding and restrictions to ensure that the services such as social media.
    [Show full text]
  • Technology Stack for Decentralized Mobile Services
    Technology Stack for Decentralized Mobile Services Matouš Skála Technology Stack for Decentralized Mobile Services by Matouš Skála to obtain the degree of Master of Science at the Delft University of Technology, to be defended publicly on Monday August 31, 2020 at 3:00 PM. Student number: 4893964 Project duration: November 15, 2019 – August 31, 2020 Thesis committee: Dr.ir. J.A. Pouwelse, TU Delft, supervisor Dr. J.S. Rellermeyer, TU Delft Dr. N. Yorke-Smith, TU Delft An electronic version of this thesis is available at http://repository.tudelft.nl/. Preface When I was choosing my thesis topic, I originally came up with an idea of designing a decen- tralized social network. After realizing how ambitious that goal was, I later decided to focus on more fundamental issues first and create a library that would allow for building any de- centralized applications, running purely on an overlay network consisting of smartphones. Rather than reinventing the wheel, I took inspiration from an existing networking library de- veloped at TU Delft over the last decade and created its wire-compatible implementation in Kotlin. Interestingly, in the end, I have even implemented a trivial social network to demon- strate the usage of the library, returning back to the original idea. I would like to thank my supervisor Johan Pouwelse for an endless stream of fresh ideas and valuable feedback, and to PhD students of the Delft Blockchain Lab for numerous coffee meetings and for serving me as a walking documentation of the existing codebase. Matouš Skála Prague,
    [Show full text]
  • Service Competition and Data-Centric Protocols for Internet Access
    University of Massachusetts Amherst ScholarWorks@UMass Amherst Doctoral Dissertations Dissertations and Theses October 2019 Service Competition and Data-Centric Protocols for Internet Access Thiago Teixeira University of Massachusetts Amherst Follow this and additional works at: https://scholarworks.umass.edu/dissertations_2 Part of the Digital Communications and Networking Commons Recommended Citation Teixeira, Thiago, "Service Competition and Data-Centric Protocols for Internet Access" (2019). Doctoral Dissertations. 1770. https://doi.org/10.7275/15202406 https://scholarworks.umass.edu/dissertations_2/1770 This Open Access Dissertation is brought to you for free and open access by the Dissertations and Theses at ScholarWorks@UMass Amherst. It has been accepted for inclusion in Doctoral Dissertations by an authorized administrator of ScholarWorks@UMass Amherst. For more information, please contact [email protected]. SERVICE COMPETITION AND DATA-CENTRIC PROTOCOLS FOR INTERNET ACCESS A Dissertation Presented by THIAGO TEIXEIRA Submitted to the Graduate School of the University of Massachusetts Amherst in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY September 2019 Electrical and Computer Engineering © Copyright by Thiago Teixeira 2019 All Rights Reserved SERVICE COMPETITION AND DATA-CENTRIC PROTOCOLS FOR INTERNET ACCESS A Dissertation Presented by THIAGO TEIXEIRA Approved as to style and content by: Tilman Wolf, Co-chair Michael Zink, Co-chair Jay Taneja, Member Anna Nagurney, Member Christopher V. Hollot, Department Head Electrical and Computer Engineering DEDICATION To my wife Cavaille and my parents Norma and Jose Roberto. ACKNOWLEDGMENTS I would like to thank my advisor, Professor Tilman Wolf, for his much valuable guid- ance and lessons learned during my doctorate. I would also like to thank Professor Michael Zink for supporting, guiding, and working together in many exciting projects.
    [Show full text]
  • P2P-Hate-Report.Pdf
    I’m in a community called Scuttlebutt which uses Peer-to-Peer technology. This is a type of ​ ​ technology that works radically differently from the internet as we know it now and offers a powerful vision for a resilient and sustainable future for technology and social movements. One evening, a friend who is a developer on Scuttlebutt and also has marginalized identities like myself messaged me and a small group of others with great concern writing: “Ok - so we have nazis already using scuttlebutt. When the NZ shootings happened I had a dream that in the news it was announced that they had been using an enclave of scuttlebutt to organise and radicalise. It seems inevitable that this will happen…” It continued a long conversation about the risks created by these radical technologies. My friend was genuinely afraid. So was I. And I still am. Like so many others, he had put a ton of work into cultivating both the community and the technology. He was scared both that the product of so many people’s love would become a central aid in white-supremacist organizing and that the community wasn’t ready to deal with the fall out of such a “nightmarish vision.” In most Peer-to-Peer communities it is impossible to surveill them or know how many people are using them because they are secure and often private by design. The only way to even catch a glimpse of how many white supremacists are using them is when they post on leaked forums or public websites. Otherwise, unless their conversations are infiltrated, we can only see the tips of the iceberg of the violence (or good!) facilitated by these technologies.
    [Show full text]
  • Hyperwell: Local-First, Collaborative Notebooks for Digital Annotation
    Hyperwell: Local-First, Collaborative Notebooks for Digital Annotation A thesis presented for the degree of Master of Science by Jan Kaßel [email protected] 3724135 at the Institute of Computer Science Universität Leipzig, Germany May 4, 2020 Advisor & First Examiner Second Examiner Dr. Thomas Köntges Prof. Gregory Crane Chair of Digital Humanities Department of Classical Studies Leipzig University Tufts University Except where otherwise noted, content in this thesis is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License¹, which permits un- restricted adaption, use, and distribution in any medium, provided the original work is properly cited the resulting work is licensed under the same terms as the original. The source code of all Hyperwell repositories is available as open-source soft- ware, licensed under the more permissive MIT License. Copyright 2020, Jan Kaßel. 1. https://creativecommons.org/licenses/by-sa/4.0/ Table of Contents Abstract i Acknowledgements ii List of Abbreviations iii List of Figures iv 1 Introduction 1 1.1 Motivation: A Question of Ownership ................ 3 1.2 Research Goals and Affiliated Work ................. 4 1.3 Synopsis ................................ 5 2 Related Work 7 2.1 Hypertext and Annotation ....................... 7 2.2 Digital Real-Time Collaboration ................... 10 2.3 Linked Data and Digital Humanities . 12 2.4 Peer-to-Peer Networks ........................ 16 2.5 Local-First Applications ........................ 20 3 Study: Exploring Collaborative Workflows 22 3.1 Study Framework ........................... 25 3.2 Analyzing Digital Workflows ..................... 27 3.3 Setting and Observations ....................... 30 3.4 Results ................................. 32 4 Peer-to-Peer Annotation 35 4.1 What’s (Not) Wrong with Servers? .
    [Show full text]
  • Trustnet: Trust-Based Moderation Using Distributed Chat Systems for Transitive Trust Propagation
    TrustNet: Trust-based Moderation Using Distributed Chat Systems for Transitive Trust Propagation Alexander Cobleigh Department of Automatic Control MSc Thesis TFRT-6102 ISSN 0280-5316 Department of Automatic Control Lund University Box 118 SE-221 00 LUND Sweden © 2020 by Alexander Cobleigh. All rights reserved. Printed in Sweden by Tryckeriet i E-huset Lund 2020 Abstract This thesis introduces TrustNet, a flexible and distributed system for deriving, and interacting with, computational trust. The focus of the thesis is applying TrustNet as a tool within distributed chat systems for implementing a subjective moderation sys- tem. Two distributed chat systems, Secure Scuttlebutt and Cabal, are discussed, the latter having been extended with a proof of concept implementation of the proposed system. The concept of ranking strategies is also introduced as a general purpose technique for converting a produced set of rankings into strategy-defined subsets. This work proposes a complete trust system that can be incorporated as a ready- made software component for distributed ledger technologies, and which provides real value for impacted users by way of automating decision-making and actions as a result of assigned trust scores. 3 Acknowledgements I want to start by thanking Johan Eker, my thesis supervisor from the department of Automatic Control at Lund University, for his support, patience, advice and feed- back in this unusually long Master’s thesis. I am very glad you took the time to listen to the random student dropping by your office to pitch his thesis idea. I also greatly appreciate the frequent discussions we have had throughout the thesis pro- cess.
    [Show full text]
  • Cryptographic Protocol Analysis for the Real World
    Verifpal: Cryptographic Protocol Analysis for the Real World Nadim Kobeissi1, Georgio Nicolas1, and Mukesh Tiwari2 1 Symbolic Software 2 University of Melbourne Abstract Verifpal is a new automated modeling framework and verifier for cryp- tographic protocols, optimized with heuristics for common-case protocol specifica- tions, that aims to work better for real-world practitioners, students and engineers without sacrificing comprehensive formal verification features. In order to achieve this, Verifpal introduces a new, intuitive language for modeling protocols that is easier to write and understand than the languages employed by existing tools. Its formal verification paradigm is also designed explicitly to provide protocol modeling that avoids user error. Verifpal is able to model protocols under an active attacker with unbounded ses- sions and fresh values, and supports queries for advanced security properties such as forward secrecy or key compromise impersonation. Furthermore, Verifpal’s semantics have been formalized within the Coq theorem prover, and Verifpal mod- els can be automatically translated into Coq as well as into ProVerif models for further verification. Verifpal has already been used to verify security properties for Signal, Scuttlebutt, TLS 1.3 as well as the first formal model for the DP-3T pandemic-tracing protocol, which we present in this work. Through Verifpal, we show that advanced verification with formalized semantics and sound logic can exist without any expense towards the convenience of real-world practitioners. Keywords: formal analysis · protocol analysis · protocol modeling 1 Introduction Internet communications rely on a handful of protocols, such as Transport Layer Security (TLS), SSH and Signal, in order to keep user data confidential.
    [Show full text]
  • General Maintenance Track Collaborative Notes Doc Themaintainers.Org
    General Maintenance Track Collaborative Notes Doc themaintainers.org Maintainers III MONDAY Opening Remarks + Introducing MAMA (Bernardo Robles Hidalgo) [ADD YOUR NOTES BELOW] Opening Ceremony: Scores for Maintainers (Taeyoon Choi, Cori Kresge) Basic data ● WHO were the maintainers/care workers mentioned in the paper/session? Choi: School for Poetic Computation Kresge: dancer, interval training ● WHAT kinds of work do these people do? Building Communities, increasing diversity through offering classes for learning to code ● HOW do they do it? Through a commitment to care; skepticism toward military-industrial-complex Context ● What elements (time, place, populations, technologies, methodologies) of the paper/session stood out the most? Artistic approach: paintings, drawings, community gatherings. Artistic approach, anti-establishment vibe Supportive exercise with little people, nurturing and introducing them to other little people 2 min Interval training: move in a way that feels good for you 2 min Write/draw continuously, without the pen leaving the page REPEAT but with the word “care” foregrounded 2 min 2 min AMPLIFY 2 min 1 min do NOTHING 3 minutes to review: mine your archive themaintainers.org 1 General Maintenance Track Collaborative Notes Doc themaintainers.org 5 minutes: talk in your groups (1-on-1), share what came up ● What recommendations or conclusions did the speaker/s offer? Love yourself; think about responsibilities as maintainers, and the kinds of trust we can give to the world Focus on the uncomputable, unknowable, ungovernable ● What significant connections do track chair, audience, and/or speakers make to other presentations at MIII, or to other issues/articles/media outside of MIII? Code, technologies and bodies More notes School for Poetic computation are we maintaining systems of segregation? @chrissunkim - project about slowing down, looking back as a way to explore what the future could be video of her signing Signing Coders converting computing concepts to sign language.
    [Show full text]
  • Open Source TOOLS
    07/06/2020, 11)31 Open Source TOOLS - alternatives to surveillance capitalist software for communicating - thinking critically about the choices we have in the platforms & technologies that we use COLLECT open source / FLOSS online tools to communicate (NOT ONLY) during the pandemic. C'est un endroit pour collecter des outils en ligne open source / FLOSS pour communiquer (PAS SEULEMENT) pendant la pandémie. feel free to extend this list and spread!!! Since the list is now quite long, here are the subheadings that you can scroll down to: 1. Audio-visual conferencing 2. Scheduling group meetings 3. Streaming 4. Video hosting 5. Chat 6. Etherpads 7. Feminist internet 8. Alternative social networks 9. Artistic collaboration 10. Audio tech 11. Game development 12. Self hosting (with others) 13. Mobile phones 14. For kids 15. Photo safety 16. Useful links 17. Document sharing 18. Digital solidarity 19. Articles 20. Other / unsorted 1. AUDIO-VISUAL CONFERENCING https://p2p.chat - free, no limit on participants, in a browser, no login/account, and fully p2p encrypted even in multiple-participants calls Jitsi Meet (https://jitsi.org/jitsi-meet ) free, no limit on participants, browser-based (which https://etherpad.wikimedia.org/p/online-tools-for-the-pandemic Page 1 of 9 07/06/2020, 11)31 means nothing to install for any participants) new version is improved in regards to FF support, e2ee, and number of participants / How to selfhost Ubuntu/Debian - https://guides.lw1.at/books/how-to-install-jitsi-meet-on-debian-or-ubuntu/ o!cial installation:
    [Show full text]
  • Ulc Law Journal 2019
    Vol : 9 Vol : - No. : 1 No. Vol : 9 - No. : 1 January 2019 ISSN.0973-3280 BANGALORE UNIVERSITY LAW JOURNAL UGC approved Peer Reviewed and Refereed Journal Vol : 9 No. 1 January 2019 Vol. 9 No. 1 BANGALORE UNIVERSITY LAW JOURNAL UGC approved Peer Reviewed and Refereed Journal CITE THIS VOLUME AS 9 BULJ 2019 (1) This Journal is published by University Law College & Department of Studies in Law, Bangalore University, Bengaluru Price of single issue : ` 200/- ii CALL FOR CONTRIBUTIONS Bangalore University Law Journal is a biannual publication. Contributions to the journal are invited in the form of articles, notes and case comments. Contributions should be typed in double space on one side of the A4 size paper and should also be sent by rewritable CD. It may also be sent through email-id [email protected] The Editors, Publishers and Printers do not claim any responsibility for the views expressed by the contributors and for the errors, if any, in the information contained in the journal. The subscription amount may be sent to the following address along with D.D drawn in favour of Finance Officer, Bangalore University, Bangalore. BANGALORE UNIVERSITY LAW JOURNAL C/O PROFESSOR DR. V. SUDESH PRINCIPAL UNIVERSITY LAW COLLEGE BANGALORE UNIVERSITY, BANGALORE iii EDITORIAL ADVISORY BOARD Justice Dr. Shivraj V. Patil Former Judge, Supreme Court of India, Bangalore Prof. V. B. Coutinho Dr. R. Venkat Rao Former Vice Chancellor Vice Chancellor Gulbarga University National Law School of India University Gulbarga Nagarabhavi Bangalore Prof. Manoj Kumar Sinha Shri. Mohan V. Katarki Director, Indian Law Institute Senior Advocate Bhagwandas Road Supreme Court New Delhi New Delhi Dr.
    [Show full text]
  • Thèse De Doctorat De
    Thèse de doctorat de L’UNIVERSITÉ DE RENNES 1 Comue Université Bretagne Loire École Doctorale N° 601 Mathématiques et Sciences et Technologies de l’Information et de la Communication Spécialité : Informatique Par Adrien LUXEY Les e-squads : Un nouveau paradigme pour la conception d’applications ubiquitaires respectant le droit à la vie privée Thèse présentée et soutenue à Rennes (France), le 29 Novembre 2019 Unité de recherche : Irisa (UMR 6074) Rapporteurs avant soutenance : Romain ROUVOY Professeur des Universités Université de Lille Vivien QUÉMA Professeur des Universités Grenoble INP Composition du Jury : Présidente : Anne-Marie KERMARREC Directrice de recherche Univ Rennes, CNRS, Inria, IRISA Rapporteurs : Romain ROUVOY Professeur des Universités Université de Lille Vivien QUÉMA Professeur des Universités Grenoble INP Examinatrice : Sonia BEN MOKHTAR Directrice de recherche CNRS Lyon Dir. de thèse : Yérom-David BROMBERG Professeur des Universités Univ Rennes, CNRS, Inria, IRISA Notre héritage n’est précédé d’aucun testament. René Char Technology is neither good nor bad; nor is it neutral. Melvin Kranzberg A tenured scientist Table of Contents 1 Introduction7 2 State of the Art 11 2.1 ‘Privacy is dead’ ... in the cloud........................ 12 2.2 Today’s alternatives............................... 13 2.2.1 The edge cloud: a poor diversion................... 13 2.2.2 Decentralised networks......................... 13 2.3 The multi-device paradigm........................... 17 2.4 The path toward e-squads........................... 18 3 Fluid user interactions inside the e-squad 21 3.1 Introducing Sprinkler ............................ 21 3.2 Our approach.................................. 23 3.2.1 Solution outline............................. 23 3.2.2 Decentralized knowledge aggregation................. 26 3.2.3 The Session Handoff algorithm...................
    [Show full text]