Author: "Sécurité des Données et des Systèmes (SDS)" - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Sécurité des Données et des Systèmes (SDS)"' showing total 111 results

Start Over Author "Sécurité des Données et des Systèmes (SDS)"

111 results on '"Sécurité des Données et des Systèmes (SDS)"'

1. A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent

Author: Anciaux, Nicolas, Frittella, Sabine, Geoffroy, Baptiste, Nguyen, Benjamin, Scerri, Guillaume, Personal Trusted cloud (PETRUS), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Université Paris-Saclay, Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), ANR-22-PECY-0002,iPoP,interdisciplinary Project on Privacy(2022), and ANR-19-CE48-0006,PRELAP,Logique Épistémique Probabiliste pour la Protection des Données Privées(2019)
Subjects: Privacy, [INFO]Computer Science [cs], Informed consent, GDPR, Data minimization
Abstract: International audience; The advent of privacy laws and principles such as data minimization and informed consent are supposed to protect citizens from over-collection of personal data. Nevertheless, current processes, mainly through filling forms are still based on practices that lead to over-collection. Indeed, any citizen wishing to apply for a benefit (or service) will transmit all their personal data involved in the evaluation of the eligibility criteria. The resulting problem of over-collection affects millions of individuals, with considerable volumes of information collected. If this problem of compliance concerns both public and private organizations (e.g., social services, banks, insurance companies), it is because it faces non-trivial issues, which hinder the implementation of data minimization by developers. In this paper, we propose a new modeling approach that enables data minimization and informed choices for the users, for any decision problem modeled using classical logic, which covers a wide range of practical cases. Our data minimization solution uses game theoretic notions to explain and quantify the privacy payoff for the user. We show how our algorithms can be applied to practical cases study as a new PET for minimal, fully accurate (all due services must be preserved) and informed data collection.
Published: 2024

2. Rough concepts

Author: Sabine Frittella, Nachoem M. Wijnberg, Sajad Nazari, Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, University of Johannesburg (UJ), Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Applied Logic, Delft University of Technology (TU Delft), Ethics, Governance and Society, Entrepreneurship & Innovation (ABS, FEB), and Faculteit Economie en Bedrijfskunde
Subjects: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Information Systems and Management, Computer science, 0102 computer and information sciences, 02 engineering and technology, Rough Concept Analysis, 01 natural sciences, Theoretical Computer Science, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Formal concept analysis, FOS: Mathematics, [INFO]Computer Science [cs], [MATH]Mathematics [math], ComputingMilieux_MISCELLANEOUS, Rough set theory, Modal logic, Modal algebras, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Mathematics - Logic, Computer Science Applications, Logic in Computer Science (cs.LO), Algebra, 010201 computation theory & mathematics, Control and Systems Engineering, Algebraic theory, 020201 artificial intelligence & image processing, Rough set, Logic (math.LO), Software
Abstract: The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal logic, and is based on the idea that Pawlak's original approximation spaces can be seen as special instances of enriched formal contexts, i.e. relational structures based on formal; contexts from Formal Concept Analysis.
Published: 2021

3. Cryptanalysis of a code-based one-time signature

Author: Philippe Gaborit, Jean-Christophe Deneuville, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Mathématiques & Sécurité de l'information (XLIM-MATHIS), XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), and Ecole Nationale de l'Aviation Civile (ENAC)
Subjects: Identity matrix, Cryptography, 0102 computer and information sciences, 02 engineering and technology, Signature, 01 natural sciences, law.invention, Cryptanalysis, Public-key cryptography, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], law, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), [INFO]Computer Science [cs], Mathematics, Post-quantum cryptography, business.industry, Applied Mathematics, 020206 networking & telecommunications, Coding theory, Computer Science Applications, Time signature, [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], 010201 computation theory & mathematics, Post-Quantum Cryptography, business, Algorithm, Coding Theory
Abstract: International audience; In 2012, Lyubashevsky introduced a new framework for building lattice-based signature schemes without resorting to any trapdoor (such as GPV [6] or NTRU [7]). The idea is to sample a set of short lattice elements and construct the public key as a Short Integer Solution (SIS for short) instance. Signatures are obtained using a small subset sum of the secret key, hidden by a (large) Gaussian mask. (Information leakage is dealt with using rejection sampling.) Recently, Per-sichetti proposed an efficient adaptation of this framework to coding theory [12]. In this paper, we show that this adaptation cannot be secure, even for one-time signatures (OTS), due to an inherent difference between bounds in Hamming and Euclidean metrics. The attack consists in rewriting a signature as a noisy syndrome decoding problem, which can be handled efficiently using the extended bit flipping decoding algorithm. We illustrate our results by breaking Persichetti's OTS scheme built upon this approach [12]: using a single signature, we recover the secret (signing) key in about the same amount of time as required for a couple of signature verifications.
Published: 2020

4. Generic Construction for Identity-based Proxy Blind Signature

Author: Bultel, Xavier, Lafourcade, Pascal, Olivier-Anclin, Charles, Robert, Léo, Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Université Clermont Auvergne (UCA), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), and Olivier-Anclin, Charles
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], ComputingMethodologies_MISCELLANEOUS, ComputingMilieux_COMPUTERSANDSOCIETY, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]
Abstract: International audience; Generic constructions of blind signature schemes have been studied since its appearance. Several constructions were made leading to generic blind signatures and achieving other properties such as identity-based blind signature and partially blind signature. We propose a generic construction for identitybased Proxy Blind Signature (IDPBS). This combination of properties has several applications in the real world, in particularly in e-voting or e-cash systems and it has never been achieved before with a generic construction. Our construction only requires two classical signatures schemes: a blind EUF-CMA blind signature and a SUF-CMA unique signature. The security of our generic identity-based proxy blind signature is proven under these assumptions.
Published: 2021

5. DashBot: An ML-Guided Dashboard Generation System

Author: Marta Soare, Radu Ciucanu, Sihem Amer-Yahia, Sandrine Da Col, Nassim Bouarour, Université Grenoble Alpes (UGA), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), and Université d'Orléans (UO)
Subjects: Information retrieval, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Computer science, Dashboard (business), Aggregate (data warehouse), Interactive data summarization and exploration, Automatic summarization, User feedback, Visualization, Exploit/explore, Set (abstract data type), ML-enabled dashboard generation, Relevance (information retrieval), Multi-armed bandits (MAB), Grouping and aggregation queries
Abstract: International audience; Data summarization provides a bird's eye view of data and groupby queries have been the method of choice for data summarization. Such queries provide the ability to group by some attributes and aggregate by others, and their results can be coupled with a visualization to convey insights. The number of possible groupbys that can be computed over a dataset is quite large which naturally calls for developing approaches to aid users in choosing which groupbys best summarize data. We demonstrate DashBot, a system that leverages Machine Learning to guide users in generating data-driven and customized dashboards. A dashboard contains a set of panels, each of which is a groupby query. DashBot iteratively recommends the most relevant panel while ensuring coverage. Relevance is computed based on intrinsic measures of the dataset and coverage aims to provide comprehensive summaries. DashBot relies on a Multi-Armed Bandits (MABs) approach to balance exploitation of relevance and exploration of different regions of the data to achieve coverage. Users can provide feedback and explanations to customize recommended panels. We demonstrate the utility and features of DashBot on different datasets.
Published: 2021

6. Secure key distribution in heterogeneous interoperable industrial Internet of Things

Author: Fergal Martin-Tricot, Pascal Berthomé, Cédric Eichler, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)
Subjects: World Wide Web, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Computer science, Interoperability, Industrial Internet, Key distribution
Abstract: International audience; Industry 4.0 proposes the inclusion of IoT components in industrial contexts to have a better control on production and logistic processes. Unfortunately, growing connectivity in a formerly isolated world induces major security risks which are especially critical in an industrial context. Furthermore, the highly fragmented nature of the industrial IoT market imposes interoperability management. Interoperability and heterogeneity generally poses security challenges, exacerbating these risks. oneM2M is a promising standard that can enable interoperability and ensure communication with various tier protocols. The interface between oneM2M and tiers protocols has however to be trusted, which is undesirable. In this paper, we focus on the first phase of an approach to enable end-to-end encryption between oneM2M and Zigbee devices: secure key exchange. We fully define an exchange protocol taking place during the enrolment of a Zigbee device within oneM2M. We provide and discuss an implementation of this protocol, demonstrating its technical feasibility.
Published: 2021

7. Graph rewriting rules for RDF database evolution: optimizing side-effect processing

Author: Jacques Chabin, Cédric Eichler, Mirian Halfeld Ferrari, Nicolas Hiot, Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), and ANR-18-CE23-0010,SENDUP,réSEaux Numériques de Données sémantiques: Utilité et vie Privée(2018)
Subjects: Graph rewriting, Computer Networks and Communications, Computer science, Programming language, 0102 computer and information sciences, 02 engineering and technology, computer.file_format, computer.software_genre, 01 natural sciences, Database evolution, Side effect (computer science), 010201 computation theory & mathematics, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, RDF, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], computer, ComputingMilieux_MISCELLANEOUS, Information Systems
Abstract: Purpose Graph rewriting concerns the technique of transforming a graph; it is thus natural to conceive its application in the evolution of graph databases. This paper aims to propose a two-step framework where rewriting rules formalize instance or schema changes, ensuring graph’s consistency with respect to constraints, and updates are managed by ensuring rule applicability through the generation of side effects: new updates which guarantee that rule application conditions hold. Design/methodology/approach This paper proposes Schema Evolution Through UPdates, optimized version (SetUpOPT), a theoretical and applied framework for the management of resource description framework (RDF)/S database evolution on the basis of graph rewriting rules. The framework is an improvement of SetUp which avoids the computation of superfluous side effects and proposes, via SetUpoptND, a flexible and extensible package of solutions to deal with non-determinism. Findings This paper shows graph rewriting into a practical and useful application which ensures consistent evolution of RDF databases. It introduces an optimised approach for dealing with side effects and a flexible and customizable way of dealing with non-determinism. Experimental evaluation of SetUpoptND demonstrates the importance of the proposed optimisations as they significantly reduce side-effect generation and limit data degradation. Originality/value SetUp originality lies in the use of graph rewriting techniques under the closed world assumption to set an updating system which preserves database consistency. Efficiency is ensured by avoiding the generation of superfluous side effects. Flexibility is guaranteed by offering different solutions for non-determinism and allowing the integration of customized choice functions.
Published: 2021

8. Unlinkable and Invisible $\gamma$-Sanitizable Signatures

Author: Xavier Bultel, Angèle Bossuat, Embedded Security and Cryptography / Sécurité cryptographie embarquée (EMSEC), SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), and ANR-16-CE39-0012,SafeTLS,La sécurisation de l'Internet du futur avec TLS 1.3(2016)
Subjects: ComputingMilieux_MANAGEMENTOFCOMPUTINGANDINFORMATIONSYSTEMS, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Programming language, Computer science, ComputingMilieux_COMPUTERSANDSOCIETY, computer.software_genre, computer
Abstract: International audience; Sanitizable signatures (SaS) allow a (single) sanitizer, chosen by the signer, to modify and re-sign a message in a somewhat controlled way, that is, only editing parts (or blocks) of the message that are admissible for modification.This primitive is an efficient tool, with many formally defined security properties, such as unlinkability, transparency, immutability, invisibility, and unforgeability. An SaS scheme that satisfies these properties can be a great asset to the privacy of any field it will be applied to, e.g., anonymizing medical files.In this work, we look at the notion of γ-sanitizable signatures (γSaS): we take the sanitizable signatures one step further by allowing the signer to not only decide which blocks can be modified, but also how many of them at most can be modified within a single sanitization, setting a limit, denoted with γ. We adapt the security properties listed above to γSaS and propose our own scheme, ULISS (Unlinkable Limited Invisible Sanitizable Signature), then show that it verifies these properties. This extension of SaS can not only improve current use cases, but also introduce new ones, e.g., restricting the number of changes in a document within a certain timeframe.
Published: 2021

9. A model transformation approach for multiscale modeling of software architectures applied to smart cities

Author: Ilhem Khlif, Cédric Eichler, Ahmed Hadj Kacem, Mohamed Hadj Kacem, Khalil Drira, Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Unité de Recherche en développement et contrôle d'applications distribuées (REDCAD), École Nationale d'Ingénieurs de Sfax | National School of Engineers of Sfax (ENIS), Équipe Services et Architectures pour Réseaux Avancés (LAAS-SARA), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)
Subjects: Event b method, Computer Networks and Communications, business.industry, Computer science, Model transformation, 020207 software engineering, 02 engineering and technology, Multiscale modeling, Computer Science Applications, Theoretical Computer Science, Software, Computational Theory and Mathematics, 020204 information systems, Formal specification, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Software engineering, business, Software architecture, computer, ComputingMilieux_MISCELLANEOUS, computer.programming_language
Abstract: Special Issue: Distributed Computing for Smart Networks: Recent Advances and Future Trends (DiCES‐N2019). AMMCS19. Security and Privacy in IoT Communication (IOTSEC19). SKG2019; International audience; Modeling and specifying correct software systems is a challenging task that can be supported by providing appropriate modeling abstractions. This article proposes an approach for graphical multiscale modeling of such systems using model transformation techniques. The approach is founded on a guided rule-based iterative modeling process ensuring controlled transition from a coarse-grained description to a fine-grained description. It provides also user-friendly graphical descriptions by extension of UML notations, hence preserving the common practices from software architectures design. The iterative design process is supported by a set of model transformation rules. The rules manage the refinement process (by adding or removing subsystems or by adding or removing details on a given subsystem) as a model transformation. Our approach is supported by a rule-based generator that implements the automatic transformation of UML diagrams into Event-B specifications allowing formal verification of their correctness properties, and relieving software architects of mastering formal techniques. To experiment and validate our approach, we consider a case study dedicated to the smart cities.
Published: 2021

10. Analyse Sécurisée de Données Externalisées

Author: Ciucanu, Radu, Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Université d'Orléans (UO), Université d'Orléans, and Sara Bouchenak
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Sécurité des données, Data security
Abstract: The goal of this document is to summarize my research activities since my recruitment as a Maître de Conférences in 2016. Most of my research in this period has been dedicated to addressing the data security concerns that occur when outsourcing some data to the cloud and then performing some computations (such as evaluating a query or a machine learning algorithm) on the data directly in the cloud. I focused on the honest-but-curious cloud model i.e., that executes tasks dutifully, but tries to gain as much information as possible. I contributed to: (i) secure evaluation of SPARQL queries on outsourced graphs, as well as synthetic generation of graphs and queries; (ii) secure protocols for sequential machine learning algorithms, with an emphasis on multi-armed bandits; (iii) secure MapReduce protocols for matrix multiplication and relational query evaluation. Our approach consists of developing distributed and secure protocols that combine existing algorithms with cryptographic schemes (such as AES and Paillier) and secure multi-party computations. Our protocols guarantee the same result as the standard, non-secure algorithms while enjoying desirable security properties.; Le but de ce document est de résumer mes activités de recherche depuis mon recrutement en tant que Maître de Conférences en 2016. La plupart de mes recherches pendant cette période ont été consacrées aux problèmes de sécurité des données qui apparaissent lors de l'externalisation des données dans le cloud, suivie par certains calculs (tels que l'évaluation d'une requête ou d'un algorithme d'apprentissage automatique) directement dans le cloud. Je me suis concentré sur le modèle de cloud honnête-mais-curieux, c'est-à-dire qui exécute les tâches consciencieusement, mais essaie d'apprendre le plus d'informations possible. J'ai contribué à: (i) l'évaluation sécurisée de requêtes SPARQL sur des graphes externalisés, et sur la génération synthétique de graphes et requêtes; (ii) des protocoles sécurisés pour les algorithmes d'apprentissage automatique séquentiel, en mettant l'accent sur les bandits; (iii) des protocoles MapReduce sécurisés pour le produit matriciel et l'évaluation des requêtes relationnelles. Notre approche consiste à développer des protocoles distribués et sécurisés qui combinent des algorithmes existants avec des techniques cryptographiques (telles que AES et Paillier) et du calcul multipartite sécurisé. Nos protocoles garantissent le même résultat que les algorithmes standard non-sécurisés tout en bénéficiant de propriétés de sécurité.
Published: 2021

11. How to (Legally) Keep Secrets from Mobile Operators

Author: Ghada Arfaoui, Xavier Bultel, Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Cristina Onete, Adina Nedelcu, Orange Labs, École polytechnique (X), Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES), Elisa Bertino and Haya Shulman and Michael Waidner, Geometry, arithmetic, algorithms, codes and encryption (GRACE), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université de Rennes (UR), EMbedded SEcurity and Cryptography (EMSEC), SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and Université de Limoges (UNILIM)
Subjects: Information privacy, National security, Computer science, business.industry, 020206 networking & telecommunications, Subject (documents), 02 engineering and technology, 16. Peace & justice, Computer security, computer.software_genre, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, business, computer, ComputingMilieux_MISCELLANEOUS
Abstract: Secure-channel establishment allows two endpoints to communicate confidentially and authentically. Since they hide all data sent across them, good or bad, secure channels are often subject to mass surveillance in the name of (inter)national security. Some protocols are constructed to allow easy data interception . Others are designed to preserve data privacy and are either subverted or prohibited to use without trapdoors.
Published: 2021

12. Generic Plaintext Equality and Inequality Proofs

Author: Olivier Blazy, Xavier Bultel, Octavio Perez Kempner, Pascal Lafourcade, École polytechnique (X), Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Nikita Borisov and Claudia Díaz, and Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne)
Subjects: Theoretical computer science, business.industry, Computer science, 05 social sciences, Plaintext, Context (language use), Data_CODINGANDINFORMATIONTHEORY, 0102 computer and information sciences, Gas meter prover, Encryption, 01 natural sciences, Public-key cryptography, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Malleability, 010201 computation theory & mathematics, Computer Science::Multimedia, 0502 economics and business, Key (cryptography), Zero-knowledge proof, business, 050203 business & management, ComputingMilieux_MISCELLANEOUS, Computer Science::Cryptography and Security
Abstract: Given two ciphertexts generated with a public-key encryption scheme, the problem of plaintext equality consists in determining whether the ciphertexts hold the same value. Similarly, the problem of plaintext inequality consists in deciding whether they hold a different value. Previous work has focused on building new schemes or extending existing ones to include support for plaintext equality/inequality. We propose generic and simple zero-knowledge proofs for both problems, which can be instantiated with various schemes. First, we consider the context where a prover with access to the secret key wants to convince a verifier, who has access to the ciphertexts, on the equality/inequality without revealing information about the plaintexts. We also consider the case where the prover knows the encryption’s randomness instead of the secret key. For plaintext equality, we also propose sigma protocols that lead to non-interactive zero-knowledge proofs. To prove our protocols’ security, we formalize notions related to malleability in the context of public-key encryption and provide definitions of their own interest.
Published: 2021

13. Belief Based on Inconsistent Information

Author: Sajad Nazari, Sabine Frittella, Ondrej Majer, Marta Bílková, The Czech Academy of Sciences, Institute of Computer Science, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), The Czech Academy of Sciences, Institute of Philosophy, The research of Marta Bílková was supported by the grant GA17-04630S of the Czech Science Foundation. The research of Sabine Frittella and Sajad Nazari was funded by the grant ANR JCJC 2019, project PRELAP (ANR-19-CE48-0006). The research of Ondrej Majer was supported by the grant GA16-15621S., and ANR-19-CE48-0006,PRELAP,Logique Épistémique Probabiliste pour la Protection des Données Privées(2019)
Subjects: Computer science, business.industry, Probabilistic logic, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 06 humanities and the arts, 02 engineering and technology, Extension (predicate logic), 0603 philosophy, ethics and religion, 16. Peace & justice, Logical framework, Belnap-Dunn logic, Modal, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 060302 philosophy, Line (geometry), 0202 electrical engineering, electronic engineering, information engineering, Epistemic logics Non-standard probabilities, 020201 artificial intelligence & image processing, Artificial intelligence, business, Łukasiewicz logic, Two-layer modal logic
Abstract: International audience; A recent line of research has developed around logics of belief based on evidence. The approach of Bílková et al. understands belief as based on information confirmed by a reliable source. We propose a finer analysis of how belief can be based on information, where the confirmation comes from multiple possibly conflicting sources and is of a probabilistic nature. We use Belnap-Dunn logic and its probabilistic extensions to account for potentially contradictory information on which belief is grounded. We combine it with an extension of Łukasiewicz logic, or a bilattice logic, within a two-layer modal logical framework to account for belief.
Published: 2020

14. DARC : Data Anonymization and Re-identification Challenge

Author: Boutet, Antoine, Cunche, Mathieu, Gambs, Sébastien, Laurent, Antoine, Nguyen, Benjamin, Privacy Models, Architectures and Tools for the Information Society (PRIVATICS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon, Université du Québec à Montréal = University of Québec in Montréal (UQAM), Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), and Université du Québec à Montréal (UQAM)
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], ComputingMilieux_MISCELLANEOUS
Abstract: National audience
Published: 2020

15. Secure Cumulative Reward Maximization in Linear Stochastic Bandits

Author: Anatole Delabrouille, Marta Soare, Pascal Lafourcade, Radu Ciucanu, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA), Université de Bordeaux (UB), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Université Clermont Auvergne [2017-2020] (UCA [2017-2020]), Université d'Orléans (UO), and Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS)
Subjects: 050101 languages & linguistics, Mathematical optimization, Class (computer programming), [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], business.industry, Computer science, 05 social sciences, Cloud computing, 02 engineering and technology, Maximization, MovieLens, Linear function, Outsourcing, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Sequence learning, business, Protocol (object-oriented programming)
Abstract: International audience; The linear stochastic multi-armed bandit is a sequential learning setting, where, at each round, a learner chooses an arm and receives a stochastic reward based on an unknown linear function of the chosen arm. The goal is to collect as much reward as possible. Linear bandits have popular applications such as online recommendation based on user preferences, where obtaining a high reward means recommending an item with high expected rating. We address the security concerns that occur when outsourcing the data and the cumulative reward maximization algorithm to an honest-but-curious cloud. We propose LinUCB-DS, a distributed and secure protocol that achieves the same cumulative reward as the standard LinUCB algorithm, without disclosing to the cloud the linear function used to draw arm rewards. We formally prove the complexity and security properties of LinUCB-DS. We also show that LinUCB-DS can be easily adapted to secure the SpectralUCB algorithm, which improves LinUCB for a class of linear bandits. We show the feasibility of our protocols via a proof-of-concept experimental study using the MovieLens movie recommendation dataset.
Published: 2020

16. Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation

Author: Radu Ciucanu, pascal lafourcade, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Université Clermont Auvergne [2017-2020] (UCA [2017-2020]), Ciucanu, Radu, and Ecole Nationale Supérieure des Mines de St Etienne-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]
Abstract: International audience; We demonstrate GOOSE, an open-source framework for secure graph outsourcing and SPARQL evaluation. We showcase the workflow of GOOSE over various real-world use cases, the scalability of GOOSE, and the security properties that GOOSE guarantees in the honest-but-curious cloud security model.
Published: 2020

17. A Faster Cryptographer's Conspiracy Santa

Author: Pascal Lafourcade, Jean-Guillaume Dumas, Xavier Bultel, Jannik Dreier, Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Calcul Algébrique et Symbolique, Sécurité, Systèmes Complexes, Codes et Cryptologie (CASC), Laboratoire Jean Kuntzmann (LJK), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), and Ecole Nationale Supérieure des Mines de St Etienne-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS)
Subjects: FOS: Computer and information sciences, Cryptocurrency, Computer Science - Cryptography and Security, General Computer Science, ComputerApplications_COMPUTERSINOTHERSYSTEMS, 0102 computer and information sciences, 02 engineering and technology, Computer security, computer.software_genre, 01 natural sciences, Sharing expenses, Theoretical Computer Science, Social group, Physical Cryptography, Privacy-preserving Protocols, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 0202 electrical engineering, electronic engineering, information engineering, Formal Security Models, business.industry, Group (mathematics), Secure Multi-Party Computation, Trusted third party, 16. Peace & justice, Secret Santa, Conspiracy Santa, 010201 computation theory & mathematics, Secure multi-party computation, 020201 artificial intelligence & image processing, The Internet, business, Cryptography and Security (cs.CR), computer, Database transaction
Abstract: International audience; In Conspiracy Santa, a variant of Secret Santa, a group of people offer each other Christmas gifts, where each member of the group receives a gift from the other members of the group. To that end, the members of the group form conspiracies, to decide on appropriate gifts, and usually divide the cost of each gift among all participants of that conspiracy. This requires to settle the shared expenses per conspiracy, so Conspiracy Santa can actually be seen as an aggregation of several shared expenses problems. First, we show that the problem of finding a minimal number of transaction when settling shared expenses is NP-complete. Still, there exist good greedy approximations. Second, we present a greedy distributed secure solution to Conspiracy Santa. This solution allows a group of n people to share the expenses for the gifts in such a way that no participant learns the price of his gift, but at the same time notably reduces the number of transactions to 2 · n + 1 with respect to a naïve aggregation of n · (n − 2). Furthermore, our solution does not require a trusted third party, and can either be implemented physically (the participants are in the same room and exchange money using envelopes) or, over Internet, using a cryptocurrency.
Published: 2020

18. Designing Reverse Firewalls for the Real World

Author: Pierre-Alain Fouque, Xavier Bultel, Cristina Onete, Thyla van der Merwe, Angèle Bossuat, EMbedded SEcurity and Cryptography (EMSEC), SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Embedded Security and Cryptography / Sécurité cryptographie embarquée (EMSEC), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Subjects: TheoryofComputation_MISCELLANEOUS, Cryptographic primitive, Handshake, Computer science, business.industry, 020206 networking & telecommunications, Cryptography, 02 engineering and technology, Adversary, Computer security model, Computer security, computer.software_genre, Firewall (construction), [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, business, computer, Secure channel, Key exchange
Abstract: International audience; Reverse firewalls (RFs) were introduced by Mironov and Stephens-Davidowitz to address algorithm-substitution attacks (ASAs) in which an adversary subverts the implementation of a provably-secure cryptographic primitive to make it insecure. This concept was applied by Dodis et al. in the context of secure key exchange (handshake phase), where the adversary wants to exfiltrate sensitive information by using a subverted client implementation. RFs are used as a means of "sanitizing" the client-side protocol in order to prevent this exfiltration. In this paper, we propose a new security model for both the handshake and record layers, a.k.a. secure channel. We present a signed, Diffie-Hellman based secure channel protocol, and show how to design a provably-secure reverse firewall for it. Our model is stronger since the adversary has a larger surface of attacks, which makes the construction challenging. Our construction uses classical and off-the-shelf cryptography.
Published: 2020

19. Rings in which idempotents generate maximal or minimal ideals

Author: Sajad Nazari, M. Ghirati, Themba Dube, A. Taherifar, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)
Subjects: Zariski topology, Pure mathematics, Algebra and Number Theory, Ideal (set theory), Property (philosophy), Mathematics::Commutative Algebra, 010102 general mathematics, Minimal ideal, 0102 computer and information sciences, Characterization (mathematics), 01 natural sciences, Spectrum (topology), 010201 computation theory & mathematics, Idempotence, [INFO]Computer Science [cs], [MATH]Mathematics [math], 0101 mathematics, Commutative property, ComputingMilieux_MISCELLANEOUS, Mathematics
Abstract: We characterize rings in which every left ideal generated by an idempotent different from 0 and 1 is either a maximal left ideal or a minimal left ideal. In the commutative case, we give a characterization in terms of topological properties of the maximal spectrum with the Zariski topology. We also consider a strictly weaker variant of this property, defined almost similarly, and characterize those rings that have the property in question.
Published: 2020

20. Techniques d'anonymisation tabulaire : concepts et mise en oeuvre

Author: Nguyen, Benjamin, Castelluccia, Claude, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Privacy Models, Architectures and Tools for the Information Society (PRIVATICS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon, Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Inria Lyon, and Institut National de Recherche en Informatique et en Automatique (Inria)
Subjects: FOS: Computer and information sciences, Computer Science - Computers and Society, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Computer Science - Cryptography and Security, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Computer Science - Databases, Computers and Society (cs.CY), Databases (cs.DB), Cryptography and Security (cs.CR), ComputingMilieux_MISCELLANEOUS
Abstract: In this document, we present a state of the art of anonymization techniques for classical tabular datasets. This article is geared towards a general public having some knowledge of mathematics and computer science, but with no need for specific knowledge in anonymization. The objective of this document it to explain anonymization concepts in order to be able to sanitize a dataset and compute reindentification risk. The document contains a large number of examples to help understand the calculations. ----- Dans ce document, nous pr\'esentons l'\'etat de l'art des techniques d'anonymisation pour des bases de donn\'ees classiques (i.e. des tables), \`a destination d'un public technique ayant une formation universitaire de base en math\'ematiques et informatique, mais non sp\'ecialiste. L'objectif de ce document est d'expliquer les concepts permettant de r\'ealiser une anonymisation de donn\'ees tabulaires, et de calculer les risques de r\'eidentification. Le document est largement compos\'e d'exemples permettant au lecteur de comprendre comment mettre en oeuvre les calculs., Comment: 20 pages, in French
Published: 2020

21. Secure Outsourcing of Multi-Armed Bandits

Author: Marta Soare, Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Ciucanu, Radu, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Université Clermont Auvergne [2017-2020] (UCA [2017-2020]), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Be-Studys, Université d'Orléans (UO), Ecole Nationale Supérieure des Mines de St Etienne-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO), and Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])
Subjects: 050101 languages & linguistics, Information privacy, Theoretical computer science, Computer science, Markov process, Cloud computing, Cryptography, 02 engineering and technology, Outsourcing, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], symbols.namesake, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], 0501 psychology and cognitive sciences, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Cryptographic primitive, business.industry, 05 social sciences, Maximization, [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], Cryptographic protocol, symbols, 020201 artificial intelligence & image processing, business
Abstract: International audience; We consider the problem of cumulative reward maximization in multi-armed bandits. We address the security concerns that occur when data and computations are outsourced to an honest-but-curious cloud i.e., that executes tasks dutifully, but tries to gain as much information as possible. We consider situations where data used in bandit algorithms is sensitive and has to be protected e.g., commercial or personal data. We rely on cryptographic schemes and propose UCB-DS, a distributed and secure protocol based on the UCB algorithm. We prove that UCB-DS computes the same cumulative reward as UCB while satisfying desirable security properties. In particular, cloud nodes cannot learn the cumulative reward or the sum of rewards for more than one arm. Moreover, by analyzing messages exchanged among cloud nodes, an external observer cannot learn the cumulative reward or the sum of rewards produced by some arm. We show that the overhead due to cryptographic primitives is linear in the size of the input. Our implementation confirms the linear-time behavior and the practical feasibility of our protocol, on both synthetic and real-world data.TR at https://sancy.iut-clermont.uca.fr/~lafourcade/PAPERS/PDF/CLLS2020.pdf
Published: 2020

22. An Enrolment Gateway for Data Security in Heterogeneous Industrial Internet of Things

Author: Pascal Berthomé, Fergal Martin-Tricot, Cédric Eichler, Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), and Fergal, Martin-Tricot
Subjects: business.industry, Computer science, Interoperability, Data security, 020206 networking & telecommunications, 02 engineering and technology, [INFO] Computer Science [cs], Computer security, computer.software_genre, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Secure communication, Software deployment, 0202 electrical engineering, electronic engineering, information engineering, Openness to experience, Industrial Internet, 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], Internet of Things, business, computer, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]
Abstract: International audience; Industry includes more and more IoT components to have a better control on production and logistic processes. Unfortunately, growing network openness in a formerly isolated world induces major security risks which are especially critical in an industrial context. These risks are exacerbated by the highly fragmented nature of the industrial IoT market which imposes interoperability management and challenges security. We propose an approach to enable end-to-end data security within a heterogeneous IoT deployment. Interoperability is ensured by a central network powered by oneM2M interacting with various tier protocols. In this paper, we focus on secure communication with ZigBee and discuss how it can be transposed to other protocols, namely Z-Wave and Thread.
Published: 2020

23. Graph Rewriting System for Consistent Evolution of RDF/S databases

Author: Jacques Chabin, Cédric Eichler, Mirian Halfeld-Ferrari, Nicolas Hiot, Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Ecole Nationale Supérieure d'Ingénieurs de Bourges-Université d'Orléans (UO), Sécurité des Données et des Systèmes (SDS), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), LIFO, Université d'Orléans, INSA Centre Val de Loire, ANR-18-CE23-0010,SENDUP,réSEaux Numériques de Données sémantiques: Utilité et vie Privée(2018), and Université d'Orléans (UO)-Ecole Nationale Supérieure d'Ingénieurs de Bourges
Subjects: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Computer Science::Databases
Abstract: This paper investigates the use of graph rewriting rules to model updates-instance or schema changes-on RDF/S databases which are expected to satisfy RDF intrinsic semantic constraints. Such databases being modeled as knowledge graphs, we propose graph rewriting rules formalizing atomic updates whose application transforms the graph and necessarily preserves its consistency. If an update has to be applied when the application conditions of the corresponding rule do not hold, side-effects are generated: they engender new updates in order to ensure the rule applicability. Our system, SetUp, implements our updating approach for RDF/S data and offers a theoretical and applied framework for ensuring consistency when a RDF knowledge graph evolves.
Published: 2020

24. Secure Best Arm Identification in Multi-Armed Bandits

Author: Pascal Lafourcade, Marius Lombard-Platet, Marta Soare, Radu Ciucanu, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA), Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes (LIMOS), Université Blaise Pascal - Clermont-Ferrand 2 (UBP)-Université d'Auvergne - Clermont-Ferrand I (UdA)-SIGMA Clermont (SIGMA Clermont)-Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS), Université Clermont Auvergne [2017-2020] (UCA [2017-2020]), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Be-Studys, Université d'Orléans (UO), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO), SIGMA Clermont (SIGMA Clermont)-Université d'Auvergne - Clermont-Ferrand I (UdA)-Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Blaise Pascal - Clermont-Ferrand 2 (UBP), École normale supérieure - Paris (ENS Paris), and Département d'informatique de l'École normale supérieure (DI-ENS)
Subjects: Mathematical optimization, Computer science, Cloud computing, 02 engineering and technology, 010501 environmental sciences, 01 natural sciences, Outcome (game theory), Paillier cryptosystem, Outsourcing, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Multi-Armed Bandits, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], 0202 electrical engineering, electronic engineering, information engineering, Distributed Computation, 0105 earth and related environmental sciences, Best Arm Identification, business.industry, 16. Peace & justice, Parameter identification problem, Identification (information), Action (philosophy), Paillier Cryptosystem, Privacy, 020201 artificial intelligence & image processing, business, Decision-making models
Abstract: International audience; The stochastic multi-armed bandit is a classical decision making model, where an agent repeatedly chooses an action (pull a bandit arm) and the environment responds with a stochastic outcome (reward) coming from an unknown distribution associated with the chosen action. A popular objective for the agent is that of identifying the arm with the maximum expected reward, also known as the best-arm identification problem. We address the inherent privacy concerns that occur in a best-arm identification problem when outsourcing the data and computations to a honest-but-curious cloud.Our main contribution is a distributed protocol that computes the best arm while guaranteeing that (i) no cloud node can learn at the same time information about the rewards and about the arms ranking, and (ii) by analyzing the messages communicated between the different cloud nodes, no information can be learned about the rewards or about the ranking. In other words, the two properties ensure that the protocol has no security single point of failure. We rely on the partially homomorphic property of the well-known Paillier's cryptosystem as a building block in our protocol. We prove the correctness of our protocol and we present proof-of-concept experiments suggesting its practical feasibility.
Published: 2019

25. oMAC : Open Model for Automotive Cybersecurity

Author: Hugot, Vincent, Jousse, Adrien, Toinard, Christian, Venelle, Benjamin, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Valeo Comfort & Driving Assistance Systems, and Valeo Electronic Systems
Subjects: [INFO]Computer Science [cs], ddc:004, 004 Informatik, ComputingMilieux_MISCELLANEOUS
Abstract: International audience; Automotive architectures are constantly evolving to offer new features to end-users. Safety is critical, and cannot, in modern connected architectures, be achieved without strong cybersecurity. This paper proposes an advanced model of architecture supporting efficient cy-bersecurity properties. The global approach is an open way to include cybersecurity components that dynamically enforce the requested properties in a distributed manner. It supports heterogeneous software and hardware components and allows detection of malicious or unsafe behaviors. The paper illustrates the ability to integrate such a model into a standardized automotive middleware such as SOME/IP.
Published: 2019

26. Extending Atomic Chain Swaps

Author: Zié, Jean-Yves, Deneuville, Jean-Christophe, Briffaut, Jérémy, Nguyen, Benjamin, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Orange Labs [Caen], Orange Labs, and Ecole Nationale de l'Aviation Civile (ENAC)
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
Abstract: International audience; Cryptocurrencies enable users to send and receive value in a trust-less manner. Unfortunately trading the associated assets usually happens on centralized exchange which becomes a trusted third party. This defeats the purpose of a trust-less system. Atomic cross-chain swaps solve this problem for exchanges of value without intermediaries. But they require both blockchains to support Hash locked and Time locked transactions. We propose an extension to atomic swap for blockchains that only support multi-signatures (multisig) transactions. This provides greater capabilities for cross-chain communications without adding any extra trust hypothesis.
Published: 2019

27. Probabilistic epistemic updates on algebras

Author: Conradie, Willem, Frittella, Sabine, Palmigiano, Alessandra, Tzimoulis, Apostolos, Wang, Wen-Fang, van der Hoek, Wiebe, Holliday, Wesley H., Management and Organisation, University of Johannesburg (UJ), Laboratoire d'informatique Fondamentale de Marseille (LIF), Centre National de la Recherche Scientifique (CNRS)-École Centrale de Marseille (ECM)-Aix Marseille Université (AMU), Applied Logic, Delft University of Technology (TU Delft), van der Hoek W., Holliday W., Wang W., University of the Witwatersrand [Johannesburg] (WITS), Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Vrije Universiteit Amsterdam [Amsterdam] (VU), University of Amsterdam [Amsterdam] (UvA), Wang, Wen-Fang, van der Hoek, Wiebe, Holliday, Wesley H., Entrepreneurship & Innovation (ABS, FEB), Faculteit Economie en Bedrijfskunde, University of Johannesburg [South Africa] (UJ), and Aix Marseille Université (AMU)-École Centrale de Marseille (ECM)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Pointfree semantics, General Computer Science, Duality, Logic, Computer science, Duality (mathematics), 0102 computer and information sciences, 01 natural sciences, Theoretical Computer Science, Development (topology), Computer Science::Logic in Computer Science, FOS: Mathematics, 0101 mathematics, Algebraic number, ComputingMilieux_MISCELLANEOUS, Mathematics, Interpretation (logic), 010102 general mathematics, Probabilistic logic, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Mathematics - Logic, pointfree semantics, algebraic models, Epistemology, Focus (linguistics), Mathematical theory, Algebra, Math. Subject Class. 03B42 06D20 06D50 06E15, Computational Mathematics, Intuitionistic probabilistic dynamic epistemic logic, Algebraic models, 010201 computation theory & mathematics, Product (mathematics), Intuitionistic modal logic, duality, Logic (math.LO), intuitionistic probabilistic dynamic epistemic logic, intuitionistic modal logic
Abstract: The present paper contributes to the development of the mathematical theory of epistemic updates using the tools of duality theory. Here we focus on Probabilistic Dynamic Epistemic Logic (PDEL). We dually characterize the product update construction of PDEL-models as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. Thanks to this construction, an interpretation of the language of PDEL can be defined on algebraic models based on Heyting algebras. This justifies our proposal for the axiomatization of the intuitionistic counterpart of PDEL, of which prove soundness and completeness with respect to algebraic probabilistic epistemic models., Comment: Final version of the paper
Published: 2019

28. Secure and Efficient Matrix Multiplication with MapReduce

Author: Radu Ciucanu, Lihua Ye, Matthieu Giraud, Pascal Lafourcade, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Université Clermont Auvergne [2017-2020] (UCA [2017-2020]), Harbin Institute of Technology (HIT), and Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS)
Subjects: Security properties, Cloud computing security, Theoretical computer science, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Computer science, business.industry, Computation, Big data, Cloud computing, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Matrix multiplication, Outsourcing, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 010201 computation theory & mathematics, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, business
Abstract: MapReduce is one of the most popular distributed programming paradigms that allows processing big data sets in parallel on a cluster. MapReduce users often outsource data and computations to a public cloud, which yields inherent security concerns. In this paper, we consider the problem of matrix multiplication and one of the most efficient matrix multiplication algorithms: the Strassen-Winograd ($\text {SW} $) algorithm. Our first contribution is a distributed MapReduce algorithm based on $\text {SW} $. Then, we tackle the security concerns that occur when outsourcing matrix multiplication computation to a honest-but-curious cloud i.e., that executes tasks dutifully, but tries to learn as much information as possible. Our main contribution is a secure distributed MapReduce algorithm called $\mathrm {S2M3} $ (Secure Strassen-Winograd Matrix Multiplication with MapReduce) that enjoys security guarantees such as: none of the cloud nodes can learn the input or the output data. We formally prove the security properties of $\mathrm {S2M3} $ and we present an empirical evaluation devoted to show its efficiency.
Published: 2019

29. SEmantic Networks of Data: Utility and Privacy

Author: Eichler, Cédric, Berthomé, Pascal, Chabin, Jacques, Echahed, Rachid, Halfeld-Ferrari, Mirian, Nguyen, Benjamin, Prost, Frederic, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Ecole Nationale Supérieure d'Ingénieurs de Bourges-Université d'Orléans (UO), Calculs algorithmes programmes et preuves (CAPP ), Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), and ANR-18-CE23-0010,SENDUP,réSEaux Numériques de Données sémantiques: Utilité et vie Privée(2018)
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], ComputingMilieux_MISCELLANEOUS
Abstract: International audience; The amount of data produced by individuals and corporations has dramatically increased during the last decades. This generalized gathering of data brings opportunities but also new privacy challenges. Nowadays, data are often organized as graphs with an underlying semantic to allow efficient querying and support inference engines. Such is the case in, for example, linked data and semantic web typically relying on RDF. The SEmantic Networks of Data: Utility and Privacy (SEND UP) project focuses on such databases and will follow two main goals: (1) prevent illegitimate use of private data while querying semantic data graphs and (2) publish useful sensitive semantic data graphs while preserving privacy. Context and goals More and more private information collected: threatening privacy yet useful ⇒ needs for privacy guarantees and utility preservation.
Published: 2019

30. Industrial Internet of Things: Security of Interoperability

Author: Martin-Tricot, Fergal, Eichler, Cédric, Berthomé, Pascal, Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL)
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO]Computer Science [cs]
Abstract: International audience; Industry uses more and more IoT components to have a better control on production and logitistic processes. This growing openess induces some security risks. Moreover, the multiplicity of open and proprietary protocols used in IoT makes the interoperability management paramount, especially in the industrial world. We therefore propose to study data security in heterogeneous industrial IoT environments.
Published: 2019

31. Personnalisation de contraintes de vie privée dans des modèles d'anonymat basés sur les généralisations

Author: Michel, Axel, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Personal Trusted cloud (PETRUS), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), INSA Centre Val de Loire, Benjamin Nguyen, and Philippe Pucheral
Subjects: Big Data, Protection de la vie privée et des données, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Matériel sécurisé, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Data privacy and security, Privacy-preserving, Anonymat, Anonymity, Programmation par contraintes, Constraint Programmin, Constraint Programming, Secure hardware
Abstract: Summary : The benefit of performing Big data computations over individual’s microdata is manifold, in the medical, energy or transportation fields to cite only a few, and this interest is growing with the emergence of smart-disclosure initiatives around the world.However, these computations often expose microdata to privacy leakages, explaining the reluctance of individuals to participate in studies despite the privacy guarantees promised by statistical institutes. To regain indivuals’trust, it becomes essential to propose user empowerment solutions, that is to say allowing individuals to control the privacy parameter used to mke computations over their microdata.This work proposes a novel concept of personalized anonymisation based on data generalization and user empowerment.Firstly, this manuscript proposes a novel approach to push personalized privacy guarantees in the processing of database queries so that individuals can disclose different amounts of information (i.e. data at different levels of accuracy) depending on their own perception of the risk. Moreover, we propose a decentralized computing infrastructure based on secure hardware enforcing these personalized privacy guarantees all along the query execution process.Secondly, this manuscript studies the personalization of anonymity guarantees when publishing data. We propose the adapation of existing heuristics and a new approach based on constraint programming. Experiments have been done to show the impact of such personalization on the data quality. Individuals’privacy constraints have been built and realistically using social statistic studies.; Résumé : Les bénéfices engendrés par les études statistiques sur les données personnelles des individus sont nombreux, que ce soit dans le médical, l'énergie ou la gestion du trafic urbain pour n'en citer que quelques-uns. Les initiatives publiques de smart-disclosure et d'ouverture des données rendent ces études statistiques indispensables pour les institutions et industries tout autour du globe. Cependant, ces calculs peuvent exposer les données personnelles des individus, portant ainsi atteinte à leur vie privée. Les individus sont alors de plus en plus réticent à participer à des études statistiques malgré les protections garanties par les instituts. Pour retrouver la confiance des individus, il devient nécessaire de proposer des solutions de user empowerment, c'est-à-dire permettre à chaque utilisateur de contrôler les paramètres de protection des données personnelles les concernant qui sont utilisées pour des calculs.Cette thèse développe donc un nouveau concept d'anonymisation personnalisé, basé sur la généralisation de données et sur le user empowerment.En premier lieu, ce manuscrit propose une nouvelle approche mettant en avant la personnalisation des protections de la vie privée par les individus, lors de calculs d'agrégation dans une base de données. De cette façon les individus peuvent fournir des données de précision variable, en fonction de leur perception du risque. De plus, nous utilisons une architecture décentralisée basée sur du matériel sécurisé assurant ainsi les garanties de respect de la vie privée tout au long des opérations d'agrégation.En deuxième lieu, ce manuscrit étudie la personnalisations des garanties d'anonymat lors de la publication de jeux de données anonymisés. Nous proposons l'adaptation d'heuristiques existantes ainsi qu'une nouvelle approche basée sur la programmation par contraintes. Des expérimentations ont été menées pour étudier l'impact d’une telle personnalisation sur la qualité des données. Les contraintes d’anonymat ont été construites et simulées de façon réaliste en se basant sur des résultats d'études sociologiques.
Published: 2019

32. Personalizing Privacy Constraints in Generalization-based Anonymization Models

Author: Michel, Axel, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Personal Trusted cloud (PETRUS), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), INSA Centre Val de Loire, Benjamin Nguyen, and Philippe Pucheral
Subjects: Big Data, Protection de la vie privée et des données, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Matériel sécurisé, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Data privacy and security, Privacy-preserving, Anonymat, Anonymity, Programmation par contraintes, Constraint Programmin, Constraint Programming, Secure hardware
Abstract: Summary : The benefit of performing Big data computations over individual’s microdata is manifold, in the medical, energy or transportation fields to cite only a few, and this interest is growing with the emergence of smart-disclosure initiatives around the world.However, these computations often expose microdata to privacy leakages, explaining the reluctance of individuals to participate in studies despite the privacy guarantees promised by statistical institutes. To regain indivuals’trust, it becomes essential to propose user empowerment solutions, that is to say allowing individuals to control the privacy parameter used to mke computations over their microdata.This work proposes a novel concept of personalized anonymisation based on data generalization and user empowerment.Firstly, this manuscript proposes a novel approach to push personalized privacy guarantees in the processing of database queries so that individuals can disclose different amounts of information (i.e. data at different levels of accuracy) depending on their own perception of the risk. Moreover, we propose a decentralized computing infrastructure based on secure hardware enforcing these personalized privacy guarantees all along the query execution process.Secondly, this manuscript studies the personalization of anonymity guarantees when publishing data. We propose the adapation of existing heuristics and a new approach based on constraint programming. Experiments have been done to show the impact of such personalization on the data quality. Individuals’privacy constraints have been built and realistically using social statistic studies.; Résumé : Les bénéfices engendrés par les études statistiques sur les données personnelles des individus sont nombreux, que ce soit dans le médical, l'énergie ou la gestion du trafic urbain pour n'en citer que quelques-uns. Les initiatives publiques de smart-disclosure et d'ouverture des données rendent ces études statistiques indispensables pour les institutions et industries tout autour du globe. Cependant, ces calculs peuvent exposer les données personnelles des individus, portant ainsi atteinte à leur vie privée. Les individus sont alors de plus en plus réticent à participer à des études statistiques malgré les protections garanties par les instituts. Pour retrouver la confiance des individus, il devient nécessaire de proposer des solutions de user empowerment, c'est-à-dire permettre à chaque utilisateur de contrôler les paramètres de protection des données personnelles les concernant qui sont utilisées pour des calculs.Cette thèse développe donc un nouveau concept d'anonymisation personnalisé, basé sur la généralisation de données et sur le user empowerment.En premier lieu, ce manuscrit propose une nouvelle approche mettant en avant la personnalisation des protections de la vie privée par les individus, lors de calculs d'agrégation dans une base de données. De cette façon les individus peuvent fournir des données de précision variable, en fonction de leur perception du risque. De plus, nous utilisons une architecture décentralisée basée sur du matériel sécurisé assurant ainsi les garanties de respect de la vie privée tout au long des opérations d'agrégation.En deuxième lieu, ce manuscrit étudie la personnalisations des garanties d'anonymat lors de la publication de jeux de données anonymisés. Nous proposons l'adaptation d'heuristiques existantes ainsi qu'une nouvelle approche basée sur la programmation par contraintes. Des expérimentations ont été menées pour étudier l'impact d’une telle personnalisation sur la qualité des données. Les contraintes d’anonymat ont été construites et simulées de façon réaliste en se basant sur des résultats d'études sociologiques.
Published: 2019

33. Logics for Unordered Trees with Data Constraints

Author: Adrien Boiret, Ralf Treinen, Vincent Hugot, Joachim Niehren, Linking Dynamic Data (LINKS), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), ANR-15-CE25-0001,Colis,Correction de scripts Linux(2015), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Subjects: Class (set theory), Reduction (recursion theory), Computer Networks and Communications, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Databases, string comparisons, Mathematics, Discrete mathematics, Applied Mathematics, String (computer science), [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Automaton, Undecidable problem, Decidability, Prefix, Tree (data structure), logics, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, 010201 computation theory & mathematics, data trees, Counting Mso
Abstract: International audience; We study counting monadic second-order logics (CMso) for unordered data trees. Our objective is to enhance this logic with data constraints for comparing string data values. Comparisons between data values at arbitrary positions of a data tree quickly lead to undecidability. Therefore, we restrict ourselves to comparing sibling data values of unordered trees. But even in this case CMso remains undecidable when allowing data comparisons that can check the equality of string factors. However, for more restricted data constraints that can only check the equality of string prefixes, it becomes decidable. This decidability result is obtained by reduction to WSkS. Furthermore, we exhibit a restricted class of constraints which can be used in transitions of tree automata, resulting in a model with tractable complexity, which can be extended with structural equality tests between siblings. This practical restriction is relevant to applications such as checking well-formedness properties of file system trees.
Published: 2019

34. Atelier : Sécurité informatique et protection de la vie privée : pratiques et perspectives dans les entreprises

Author: Nguyen, Benjamin, Fessant, Françoise, Hourson, Arnaud, Laise, Lucas, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Orange Labs [Lannion], and France Télécom
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], ComputingMilieux_MISCELLANEOUS
Abstract: National audience
Published: 2019

35. Tutoriel : Anonymization Techniques : Theory and Practice

Author: Nguyen, Benjamin, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2019

36. Accretion in strong field gravity with eXTP

Author: De Rosa, Alessandra, Uttley, Phil, Gou, Lijun, Liu, Yuan, Bambi, Cosimo, Barret, Didier, Belloni, Tomaso, Berti, Emanuele, Bianchi, Stefano, Caiazzo, Ilaria, Casella, Piergiorgio, Feroci, Marco, Ferrari, Valeria, Gualtieri, Leonardo, Heyl, Jeremy, Ingram, Adam, Karas, Vladimir, Lu, Fangjun, Luo, Bin, Matt, Giorgio, Motta, Sara, Neilsen, Joseph, Pani, Paolo, Santangelo, Andrea, Shu, Xinwen, Wang, Junfeng, Wang, Jian-Min, Xue, Yongquan, Xu, Yupeng, Yuan, Weimin, Yuan, Yefei, Zhang, Shuang-Nan, Zhang, Shu, Agudo, Ivan, Amati, Lorenzo, Andersson, Nils, Baglio, Cristina, Bakala, Pavel, Baykal, Altan, Bhattacharyya, Sudip, Bombaci, Ignazio, Bucciantini, Niccolò, Capitanio, Fiamma, Ciolfi, Riccardo, Cui, Wei K., D'Ammando, Filippo, Dauser, Thomas, Del Santo, Melania, De Marco, Barbara, Di Salvo, Tiziana, Done, Chris, Dovčiak, Michal, Fabian, Andrew C., Falanga, Maurizio, Gambino, Angelo Francesco, Gendre, Bruce, Grinberg, Victoria, Heger, Alexander, Homan, Jeroen, Iaria, Rosario, Jiang, Jiachen, Jin, Chichuan, Koerding, Elmar, Linares, Manu, Liu, Zhu, Maccarone, Thomas J., Malzac, Julien, Manousakis, Antonios, Marin, Frédéric, Marinucci, Andrea, Mehdipour, Missagh, Méndez, Mariano, Migliari, Simone, Miller, Cole, Miniutti, Giovanni, Nardini, Emanuele, O'Brien, Paul T., Osborne, Julian P., Petrucci, Pierre Olivier, Possenti, Andrea, Riggio, Alessandro, Rodriguez, Jerome, Sanna, Andrea, Shao, Lijing, Sobolewska, Malgosia, Sramkova, Eva, Stevens, Abigail L., Stiele, Holger, Stratta, Giulia, Stuchlik, Zdenek, Svoboda, Jiri, Tamburini, Fabrizio, Tauris, Thomas M., Tombesi, Francesco, Török, Gabriel, Urbanec, Martin, Vincent, Frederic, Wu, Qingwen, Yuan, Feng, in't Zand, Jean J. M., Zdziarski, Andrzej A., Zhou, Xinlin, Rosa, Alessandra De, Cui, Wei, D’Ammando, Filippo, Fabian, Andrew, Maccarone, Thomas, O’Brien, Paul, Osborne, Julian, Stevens, Abigail, Tauris, Thomas, in’ t Zand, Jean, Zdziarski, Andrzej, School of Physics and Astronomy [Southampton], University of Southampton, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Fudan University [Shanghai], Institut de recherche en astrophysique et planétologie (IRAP), Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Observatoire Midi-Pyrénées (OMP), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS), Osservatorio Astronomico di Brera, Istituto Nazionale di Astrofisica (INAF), Department of Physics and Astronomy [U Mississippi], The University of Mississippi [Oxford], IASF, Area di Ricerca di Tor Vergata, Astronomical Institute of the Czech Academy of Sciences, Czech Academy of Sciences [Prague] (ASCR), Key Laboratory of Western China's Environmental Systems (Ministry of Education), Lanzhou University, Dipartimento de Fisica Roma Tre (DF-Roma3), Università degli Studi Roma Tre, Sichuan University, U.S. Department of Energy (DOE), Medical School (University of Nanjing), Nanjing University (NJU), Faculty of Philosophy and Science, Silesian University in Opava, INAF - Osservatorio Astrofisico di Arcetri (OAA), Instituto di Astrofisica (IASF), Consiglio Nazionale delle Ricerche (CNR), Istituto di Radioastronomia (IRA), Department of Physics, Durham University, Laboratoire d'Astrophysique de Marseille (LAM), Centre National de la Recherche Scientifique (CNRS)-Institut national des sciences de l'Univers (INSU - CNRS)-Aix Marseille Université (AMU)-Centre National d'Études Spatiales [Toulouse] (CNES), Eberhard Karls Universität Tübingen, State Key Laboratory of Magnetic Resonance and Atomic and Molecular Physics, Wuhan Institute of Physics and Mathematics, Chinese Academy of Sciences, Wuhan, 430071 China, Chinese Academy of Sciences [Wuhan Branch], Copernicus Astronomical Center of the Polish Academy of Sciences (CAMK), Polish Academy of Sciences (PAN), Biogéosciences [UMR 6282] [Dijon] (BGS), Centre National de la Recherche Scientifique (CNRS)-Université de Bourgogne (UB)-AgroSup Dijon - Institut National Supérieur des Sciences Agronomiques, de l'Alimentation et de l'Environnement, European Space Astronomy Centre (ESAC), European Space Agency (ESA), Institut de Planétologie et d'Astrophysique de Grenoble (IPAG), Centre National d'Études Spatiales [Toulouse] (CNES)-Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Institut national des sciences de l'Univers (INSU - CNRS)-Observatoire des Sciences de l'Univers de Grenoble (OSUG), Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)-Université Joseph Fourier - Grenoble 1 (UJF)-Centre National de la Recherche Scientifique (CNRS), INAF - Osservatorio Astronomico di Cagliari (OAC), Astrophysique Interprétation Modélisation (AIM (UMR_7158 / UMR_E_9005 / UM_112)), Centre National de la Recherche Scientifique (CNRS)-Institut national des sciences de l'Univers (INSU - CNRS)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris Diderot - Paris 7 (UPD7), Ethoikos, Radicondoli, ASI Science Data Center (ASDC), Italian Space Agency, Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Franche-Comté (UFC)-Centre National de la Recherche Scientifique (CNRS)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Technologie de Belfort-Montbeliard (UTBM), Laboratoire d'études spatiales et d'instrumentation en astrophysique (LESIA (UMR_8109)), Institut national des sciences de l'Univers (INSU - CNRS)-Observatoire de Paris, PSL Research University (PSL)-PSL Research University (PSL)-Université Paris Diderot - Paris 7 (UPD7)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Department of Applied Biology and Chemical Technology, The Hong Kong Polytechnic University [Hong Kong] (POLYU), Max-Planck-Institut für Radioastronomie (MPIFR), Centre National de la Recherche Scientifique (CNRS)-Observatoire Midi-Pyrénées (OMP), Météo France-Centre National d'Études Spatiales [Toulouse] (CNES)-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD)-Météo France-Centre National d'Études Spatiales [Toulouse] (CNES)-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut national des sciences de l'Univers (INSU - CNRS), Observatoire astronomique de Strasbourg (ObAS), Université de Strasbourg (UNISTRA)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National de la Recherche Scientifique (CNRS), Institut national des sciences de l'Univers (INSU - CNRS)-Centre National d'Études Spatiales [Toulouse] (CNES)-Centre National de la Recherche Scientifique (CNRS)-Observatoire des Sciences de l'Univers de Grenoble (OSUG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut national des sciences de l'Univers (INSU - CNRS)-Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)-Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)-Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Université Paris Diderot - Paris 7 (UPD7)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), eXTP, Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO), Université de Bourgogne (UB)-AgroSup Dijon - Institut National Supérieur des Sciences Agronomiques, de l'Alimentation et de l'Environnement-Centre National de la Recherche Scientifique (CNRS), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Institute of High Energy Physics [Beijing], Université de Toulouse (UT)-Université de Toulouse (UT)-Institut national des sciences de l'Univers (INSU - CNRS)-Observatoire Midi-Pyrénées (OMP), Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National d'Études Spatiales [Toulouse] (CNES)-Centre National de la Recherche Scientifique (CNRS)-Météo-France -Institut de Recherche pour le Développement (IRD)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National d'Études Spatiales [Toulouse] (CNES)-Centre National de la Recherche Scientifique (CNRS)-Météo-France -Centre National de la Recherche Scientifique (CNRS), INAF - Osservatorio Astronomico di Brera (OAB), Astronomical Institute of the Czech Academy of Sciences (ASU / CAS), Czech Academy of Sciences [Prague] (CAS), Università degli Studi Roma Tre = Roma Tre University (ROMA TRE), Sichuan University [Chengdu] (SCU), U.S. Department of Energy [Washington] (DOE), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), Istituto di Radioastronomia [Bologna] (IRA), Aix Marseille Université (AMU)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National d'Études Spatiales [Toulouse] (CNES)-Centre National de la Recherche Scientifique (CNRS), Eberhard Karls Universität Tübingen = Eberhard Karls University of Tuebingen, Biogéosciences [UMR 6282] (BGS), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS), Agence Spatiale Européenne = European Space Agency (ESA), Astrophysique Interprétation Modélisation (AIM (UMR7158 / UMR_E_9005 / UM_112)), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC), De Rosa, Alessandra, Uttley, Phil, Gou, LiJun, Liu, Yuan, Bambi, Cosimo, Barret, Didier, Belloni, Tomaso, Berti, Emanuele, Bianchi, Stefano, Caiazzo, Ilaria, Casella, Piergiorgio, Feroci, Marco, Ferrari, Valeria, Gualtieri, Leonardo, Heyl, Jeremy, Ingram, Adam, Karas, Vladimir, Lu, FangJun, Luo, Bin, Matt, Giorgio, Motta, Sara, Neilsen, Joseph, Pani, Paolo, Santangelo, Andrea, Shu, XinWen, Wang, JunFeng, Wang, Jian-Min, Xue, YongQuan, Xu, YuPeng, Yuan, WeiMin, Yuan, YeFei, Zhang, Shuang-Nan, Zhang, Shu, Agudo, Ivan, Amati, Lorenzo, Andersson, Nil, Baglio, Cristina, Bakala, Pavel, Baykal, Altan, Bhattacharyya, Sudip, Bombaci, Ignazio, Bucciantini, Niccoló, Capitanio, Fiamma, Ciolfi, Riccardo, Cui, Wei K., D’Ammando, Filippo, Dauser, Thoma, Del Santo, Melania, De Marco, Barbara, Di Salvo, Tiziana, Done, Chri, Dovčiak, Michal, Fabian, Andrew C., Falanga, Maurizio, Gambino, Angelo Francesco, Gendre, Bruce, Grinberg, Victoria, Heger, Alexander, Homan, Jeroen, Iaria, Rosario, Jiang, JiaChen, Jin, ChiChuan, Koerding, Elmar, Linares, Manu, Liu, Zhu, Maccarone, Thomas J., Malzac, Julien, Manousakis, Antonio, Marin, Frédéric, Marinucci, Andrea, Mehdipour, Missagh, Méndez, Mariano, Migliari, Simone, Miller, Cole, Miniutti, Giovanni, Nardini, Emanuele, O’Brien, Paul T., Osborne, Julian P., Petrucci, Pierre Olivier, Possenti, Andrea, Riggio, Alessandro, Rodriguez, Jerome, Sanna, Andrea, Shao, LiJing, Sobolewska, Malgosia, Sramkova, Eva, Stevens, Abigail L., Stiele, Holger, Stratta, Giulia, Stuchlik, Zdenek, Svoboda, Jiri, Tamburini, Fabrizio, Tauris, Thomas M., Tombesi, Francesco, Torok, Gabriel, Urbanec, Martin, Vincent, Frederic, Wu, QingWen, Yuan, Feng, in’ t Zand, Jean J. M., Zdziarski, Andrzej A., Zhou, XinLin, ITA, USA, GBR, FRA, DEU, Institut national des sciences de l'Univers (INSU - CNRS)-Université Toulouse III - Paul Sabatier (UT3), Météo France-Centre National d'Études Spatiales [Toulouse] (CNES)-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD)-Météo France-Centre National d'Études Spatiales [Toulouse] (CNES)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD)-Centre National de la Recherche Scientifique (CNRS), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS), Astronomy, Chinese Academy of Sciences (CAS), National Science Centre, Poland (NCN), High Energy Astrophys. & Astropart. Phys (API, FNWI), Rosa, Alessandra De, Gou, Lijun, Lu, Fangjun, Shu, Xinwen, Wang, Junfeng, Xue, Yongquan, Xu, Yupeng, Yuan, Weimin, Yuan, Yefei, Jiang, Jiachen, Jin, Chichuan, Shao, Lijing, Wu, Qingwen, and Zhou, Xinlin
Subjects: ACTIVE GALACTIC NUCLEI, Accretion, accretion, black holes physics, X-ray, Physics and Astronomy (all), black holes physic, Astronomy, Astrophysics::High Energy Astrophysical Phenomena, Black holes physics, Polarimetry, FOS: Physical sciences, BLACK-HOLE SPIN, General Physics and Astronomy, Strong field, Astrophysics, Astrophysics::Cosmology and Extragalactic Astrophysics, 01 natural sciences, ELECTROMAGNETIC EMISSION, Settore FIS/05 - Astronomia e Astrofisica, 0103 physical sciences, Astrophysics::Solar and Stellar Astrophysics, 010306 general physics, 010303 astronomy & astrophysics, Astrophysics::Galaxy Astrophysics, High Energy Astrophysical Phenomena (astro-ph.HE), XMM-NEWTON, Physics, LENS-THIRRING PRECESSION, [SDU.ASTR]Sciences of the Universe [physics]/Astrophysics [astro-ph], QUASI-PERIODIC OSCILLATIONS, [SDU.ASTR.HE]Sciences of the Universe [physics]/Astrophysics [astro-ph]/High Energy Astrophysical Phenomena [astro-ph.HE], IRON K, Accretion (astrophysics), X ray, [SDU]Sciences of the Universe [physics], ULTRA-FAST OUTFLOWS, Astrophysics::Earth and Planetary Astrophysics, SPECTRAL FEATURES, Astrophysics - High Energy Astrophysical Phenomena, [PHYS.ASTR]Physics [physics]/Astrophysics [astro-ph], X-RAY BINARIES
Abstract: In this paper we describe the potential of the enhanced X-ray Timing and Polarimetry (eXTP) mission for studies related to accretion flows in the strong field gravity regime around both stellar-mass and supermassive black-holes. eXTP has the unique capability of using advanced 'spectral-timing-polarimetry' techniques to analyze the rapid variations with three orthogonal diagnostics of the flow and its geometry, yielding unprecedented insight into the inner accreting regions, the effects of strong field gravity on the material within them and the powerful outflows which are driven by the accretion process., Accepted for publication on Sci. China Phys. Mech. Astron. (2019)
Published: 2019
Full Text: View/download PDF

37. Personal Data Management Systems: The security and functionality standpoint

Author: Iulian Sandu Popa, Philippe Bonnet, Luc Bouganim, Guillaume Scerri, Nicolas Anciaux, Benjamin Nguyen, Philippe Pucheral, Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), IT University of Copenhagen, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Personal Trusted cloud (PETRUS), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), ANR-16-CE39-0014,PerSoCloud,Personal and Social Trusted Cloud(2016), and IT University of Copenhagen (ITU)
Subjects: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Computer science, business.industry, media_common.quotation_subject, Data management, 02 engineering and technology, Data science, Personal cloud, Digital Life, Trusted execution environments, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Hardware and Architecture, 020204 information systems, Paradigm shift, Threat model, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Reference architecture, Set (psychology), Empowerment, business, Software, Secure personal cloud, Information Systems, media_common
Abstract: International audience; Riding the wave of smart disclosure initiatives and new privacy-protection regulations, the Personal Cloud paradigm is emerging through a myriad of solutions offered to users to let them gather and manage their whole digital life. On the bright side, this opens the way to novel value-added services when crossing multiple sources of data of a given person or crossing the data of multiple people. Yet this paradigm shift towards user empowerment raises fundamental questions with regards to the appropriateness of the functionalities and the data management and protection techniques which are offered by existing solutions to laymen users. These questions must be answered in order to limit the risk of seeing such solutions adopted only by a handful of users and thus leaving the Personal Cloud paradigm to become no more than one of the latest missed attempts to achieve a better regulation of the management of personal data. To this end, we review, compare and analyze personal cloud alternatives in terms of the functionalities they provide and the threat models they target. From this analysis, we derive a general set of functionality and security requirements that any Personal Data Management System (PDMS) should consider. We then identify the challenges of implementing such a PDMS and propose a preliminary design for an extensive and secure PDMS reference architecture satisfying the considered requirements. Finally, we discuss several important research challenges remaining to be addressed to achieve a mature PDMS ecosystem.
Published: 2019

38. Private and Scalable Execution of SQL Aggregates on a Secure Decentralized Architecture

Author: Benjamin Nguyen, Quoc-Cuong To, Philippe Pucheral, Parallélisme, Réseaux, Systèmes, Modélisation (PRISM), Centre National de la Recherche Scientifique (CNRS)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Secured and Mobile Information Systems (SMIS), Centre National de la Recherche Scientifique (CNRS)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Centre National de la Recherche Scientifique (CNRS)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), ANR-11-INSE-0005 KISS, ANR-11-IDEX-0003-02 IDEX Paris-Saclay, INRIA Project Lab CAPPRIS, ANR-11-INSE-0005,KISS,Koffre-fort d'Informations personnelles Sûr et Sécurisé(2011), ANR: CAPPRIS,INRIA Project Lab CAPPRIS, ANR-11-IDEX-0003,IPS,Idex Paris-Saclay(2011), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Centre National de la Recherche Scientifique (CNRS), and Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Centre National de la Recherche Scientifique (CNRS)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France
Subjects: SQL, privacy-preserving database protocols, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Computer science, Distributed computing, Scale (chemistry), SQL execution, Control (management), 020206 networking & telecommunications, 02 engineering and technology, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Information sensitivity, 020204 information systems, Server, Scalability, 0202 electrical engineering, electronic engineering, information engineering, Architecture, Personally identifiable information, computer, Information Systems, computer.programming_language
Abstract: Current applications, from complex sensor systems (e.g., quantified self) to online e-markets, acquire vast quantities of personal information that usually end up on central servers where they are exposed to prying eyes. Conversely, decentralized architectures that help individuals keep full control of their data complexify global treatments and queries, impeding the development of innovative services. This article aims precisely at reconciling individual's privacy on one side and global benefits for the community and business perspectives on the other. It promotes the idea of pushing the security to secure hardware devices controlling the data at the place of their acquisition. Thanks to these tangible physical elements of trust, secure distributed querying protocols can reestablish the capacity to perform global computations, such as Structured Query Language (SQL) aggregates, without revealing any sensitive information to central servers. This article studies how to secure the execution of such queries in the presence of honest-but-curious and malicious attackers. It also discusses how the resulting querying protocols can be integrated in a concrete decentralized architecture. Cost models and experiments on SQL/Asymmetric Architecture (AA), our distributed prototype running on real tamper-resistant hardware, demonstrate that this approach can scale to nationwide applications.
Published: 2016

39. Interopérabilité dans l'Internet des Objets : Étude et mise en œuvre

Author: Martin-Tricot, Fergal, Berthomé, Pascal, Eichler, Cédric, Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Sécurité des Données et des Systèmes (SDS), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL)
Subjects: ZigBee, Interopérabilité, Mobius, Securité, Internet des Objets, OneM2M, [INFO]Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2018

40. Software Tool Support for Modular Reasoning in Modal Logics of Actions

Author: Balco, Samuel, Frittella, Sabine, Greco, Giuseppe, Kurz, Alexander, Palmigiano, Alessandra, School of Informatics, [Leicester], University of Leicester, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Utrecht Institute of Linguistics OTS (UiL OTS), Utrecht University [Utrecht], University of Johannesburg (UJ), and Delft University of Technology (TU Delft)
Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2018

41. The Case for Personalized Anonymization of Database Query Results

Author: Michel, Axel, Nguyen, Benjamin, Pucheral, Philippe, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Personal Trusted cloud (PETRUS), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Joaquim Filipe, Jorge Bernardino, and Christoph Quix
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2018

42. Toward a Formal Multiscale Architectural Framework for Emerging Properties Analysis in Systems of Systems

Author: Khalil Drira, Cédric Eichler, Laurent Bobelin, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Équipe Services et Architectures pour Réseaux Avancés (LAAS-SARA), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), and Université Fédérale Toulouse Midi-Pyrénées
Subjects: System of systems, Computer science, Distributed computing, Scale (chemistry), Context (language use), 02 engineering and technology, 01 natural sciences, Multiscale modeling, 010101 applied mathematics, Architecture framework, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0101 mathematics, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Set (psychology), Representation (mathematics), Software architecture
Abstract: International audience; Systems of systems (SoSs) are composed of multiple operationally and managerially independent systems whose cooperation may lead to the apparition of emergent behaviors. Analysis of constituents and emergent properties is a cornerstone of SoSs. However, systems constituting a SoS may be arbitrarily complex. Therefore, precise modeling of SoSs may produce an enormous amount of information. Analyzing and modeling SoSs is thus a difficult task: how to conciliate complexity and provability of existence/absence of (emergent) properties ? Multiscale architecture modeling is appropriate for handling the inherent complexity of SoSs. Multiscale modeling enables to look at a problem simultaneously from different scales and different levels of detail. It takes advantage of data available at distinct scales, accordingly managing the complexity of behavior involved. Existing works regarding multiscale software architecture often specify a set of fixed views with loose definition of scales and scale dimensions, dramatically restricting scales usage. Furthermore, specification of scale changes have been mildly studied and are often handled as simple refinements. Yet, an adequate representation of model transformations is a key-factor for enabling system analysis. In this paper, we firstly present the formal definition of two scale dimensions: extend and grain. Extend allows to flexibly consider various subsystems, while grain specify different level of details. We formally define scale changes in this context and study their impact on system (emergent) properties
Published: 2018

43. Post-Quantum Cryptography: tomorrow’s security

Author: Deneuville, Jean-Christophe, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO]Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2018

44. A reasoning approach towards Ethics-Based Medicine and care of disabled people

Author: Fondras, Jean-Claude, Labat, Marie-Elisabeth, Toinard, Christian, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)
Subjects: [INFO]Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract: National audience
Published: 2018

45. Delegating Elliptic-Curve Operations with Homomorphic Encryption

Author: Thomas Ricosset, Jean-Christophe Deneuville, Philippe Gaborit, Tancrède Lepoint, Carlos Aguilar-Melchor, Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Mathématiques & Sécurité de l'information (XLIM-MATHIS), XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Paris (ENS Paris), and Université Paris sciences et lettres (PSL)
Subjects: Signal processing, Theoretical computer science, Delegation, Computer science, business.industry, Computation, media_common.quotation_subject, Homomorphic encryption, 020206 networking & telecommunications, Cryptography, Plaintext, 02 engineering and technology, Encryption, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], business, Implementation, ComputingMilieux_MISCELLANEOUS, media_common
Abstract: The landscape of Fully Homomorphic Encryption (FHE) has known great changes these past six years. As compu- tational costs drop, libraries are developed and new applications become possible. Prototypes demonstrating private health diag- nosis, signal processing, genome statistics and database queries spur hope on the practical deployment of FHE in the near future. However, in most of these applications, increasing the privacy, security or enabling new functionalities comes in pair with some significant computation and/or communication burden. In this work, we depart from the latter paradigm and demonstrate that FHE might be useful to increase the practical performance of elliptic-curve cryptography. More precisely, we show how to reduce the computational burden of computing elliptic-curve points from a generator through delegation. We show that using homomorphic encryption it is possible to reduce in practice computational costs even with respect to traditional, not based on homomorphic-encryption, delegation protocols. We demonstrate the feasibility of our protocols with proof-of-concept implementations using HElib (adapted to handle multiprecision plaintext space moduli).
Published: 2018

46. Personalized k-anonymity

Author: Nguyen, Benjamin, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2018

47. Correctness by construction and style preserving reconfigurations of system of systems

Author: Cédric Eichler, Khalil Drira, Thierry Monteil, Patricia Stolf, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA), Équipe Services et Architectures pour Réseaux Avancés (LAAS-SARA), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Système d’exploitation, systèmes répartis, de l’intergiciel à l’architecture (IRIT-SEPIA), Institut de recherche en informatique de Toulouse (IRIT), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut National des Sciences Appliquées de Toulouse - INSA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut National des Sciences Appliquées de Centre Val de Loire - INSA (FRANCE), Université d'Orléans (FRANCE), Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J), Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Model checking, Theoretical computer science, Correctness, Computer science, Système d'exploitation, Réseaux et télécommunications, 02 engineering and technology, Mathematical proof, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Formalisms, Theory of computation, System of systems, Graph rewriting, 020207 software engineering, Systèmes embarqués, Graph, Rewrite systems, Calcul parallèle, distribué et partagé, Grammars and context-free languages, Scalability, Formal languages and automata theory, Graph (abstract data type), [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Abstract: International audience; In distributed systems and dynamic environments, software architectures may evolve. A crucial issue when conducting system evolutions is to maintain the system in a consistent and functional state. As system complexity rises, manual checking or exhaustive model checking may be too time- and resource-consuming, lacking in scalability. This is particularly true with system of systems. Based on formal proofs in design-time, correctness by construction has recently emerged to efficiently guarantee system coherency.This article proposes a new method for the construction and specification of correct by construction system reconfigurations. Such transformations are characterized by graph rewriting rules that necessarily preserve the coherency of a system. We firstly propose operators on graph transformations and show that they conserve their correctness. Given a system specified by a graph grammar, these operators can be leveraged to construct correct transformations. We show in particular that any correct configuration can be reached starting from any other one without inconsistent intermediate step, using such transformations only.
Published: 2018

48. A refinement-based approach for specifying multi-scale software architectures

Author: Khlif, Ilhem, Tounsi, Imen, Kacem, Mohamed Hadj, Eichler, Cédric, Kacem, Ahmed Hadj, Unité de Recherche en développement et contrôle d'applications distribuées (REDCAD), École Nationale d'Ingénieurs de Sfax | National School of Engineers of Sfax (ENIS), Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)
Subjects: [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2018

49. De l’éthique de la numérisation de la santé à la numérisation de l’éthique de la santé

Author: Fondras, Jean-Claude, Labat, Marie-Elisabeth, Toinard, Christian, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)
Subjects: [INFO]Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract: National audience
Published: 2018

50. Ouroboros-E: An efficient Lattice-based Key-Exchange Protocol

Author: Thomas Johansson, Qian Guo, Jean-Christophe Deneuville, Philippe Gaborit, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Mathématiques & Sécurité de l'information (XLIM-MATHIS), XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), Shanghai Academy of Agricultural Sciences, Department of Electrical and Information Technology (EIT), and Lund University [Lund]
Subjects: Computer science, NTRU, 020206 networking & telecommunications, Hamming distance, 010103 numerical & computational mathematics, 02 engineering and technology, Data_CODINGANDINFORMATIONTHEORY, 01 natural sciences, Euclidean distance, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], 0101 mathematics, Low-density parity-check code, Algorithm, ComputingMilieux_MISCELLANEOUS, Key exchange, Decoding methods, Parity bit, Computer Science::Cryptography and Security, Computer Science::Information Theory
Abstract: The Bit Flipping algorithm is a hard decision decoding algorithm originally designed by Gallager in 1962 to decode Low Density Parity Check Codes (LDPC). It has recently proved to be much more versatile, for Moderate Parity Check Codes (MDPC) or Euclidean metric. We further demonstrate its power by proposing a noisy Euclidean version of it. This tweak allows to construct a lattice based key exchange analogous to the Ouroboros protocol for Hamming metric but with a reduction to the Short Integer Solution (SIS) problem. The very efficient decoding algorithm permits to consider smaller alphabets than for NTRU or Ring-LWE decryption algorithms. Overall we obtain a new protocol which competes with the recent NEWHOPE and Kyber proposals, and also with NTRU. The resulting scheme exploits the cyclicity of the error, and benefits from the security of the renowned SIS problem. acceptedVersion
Published: 2018

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Journal

Database

Publisher

111 results on '"Sécurité des Données et des Systèmes (SDS)"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources