Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
515 Research products, page 1 of 52

  • Publications
  • Other research products
  • 2017-2021
  • Report
  • European Commission
  • FR
  • DE
  • Hal-Diderot
  • ProdInra

10
arrow_drop_down
Date (most recent)
arrow_drop_down
  • Publication . 2021
    English
    Authors: 
    Baelde, David; Delaune, Stéphanie; Koutsos, Adrien; Moreau, Solène;
    Publisher: HAL CCSD
    Country: France
    Project: EC | POPSTAR (714955)

    International audience; Bana and Comon have proposed a logical approach to proving protocols in the computational model, which they call the Computationally Complete Symbolic Attacker (CCSA). The proof assistant Squirrel implements a verification technique that elaborat...

  • English
    Authors: 
    Kadija Charni; Nathalie Greenan; Janna Besamusca;
    Publisher: HAL CCSD
    Country: France
    Project: EC | InGRID-2 (730998)

    In this report, we explore the feasibility of a European database of working conditions clauses in collective agreements in EU countries. Our proposal builds on the methodology developed by the University of Amsterdam (UvA) and the WageIndicator Foundation to build an i...

  • Publication . Part of book or chapter of book . Conference object . Article . Report . 2021
    Open Access English
    Authors: 
    Julien Bensmail; Foivos Fioravantes; Fionn Mc Inerney; Nicolas Nisse;
    Publisher: HAL CCSD
    Country: France
    Project: EC | SYSTEMATICGRAPH (725978)

    International audience; This paper introduces the largest connected subgraph game played on an undirected graph G. In each round, Alice first colours an uncoloured vertex of G red, and then, Bob colours an uncoloured vertex of G blue, with all vertices initially uncolou...

  • Open Access English
    Authors: 
    Colantonio, Sara; Martinelli, Massimo;
    Publisher: HAL CCSD
    Country: France
    Project: EC | CHRONIOUS (216461)

    This report summarizes a part of the activities carried out within the EU FP7-IP-Project CHRONIOUS, An Open, Ubiquitous and Adaptive Chronic Disease Management Platform for COPD and Renal Insufficiency (GA 216461), more precisely within Work Package 6. One of the key co...

  • French
    Authors: 
    Gautron, Joël; Réhault-Godbert, Sophie;
    Publisher: HAL CCSD
    Country: France
    Project: EC | PPILOW (816172)
  • Publication . Other literature type . Report . Project deliverable . Preprint . 2021
    Open Access English
    Authors: 
    Eisl, Andreas; Rubio, Eulalia;
    Publisher: HAL CCSD
    Country: France
    Project: EC | EU IDEA (822622)

    So far, most research on differentiated integration has focused either on its causes or on its broader consequences for the process of European integration. In contrast, in this paper we apply a public policy approach. Through an analysis of the functioning of various d...

  • French
    Authors: 
    Bernet, Nicolas; Bozonnet, Sophie; DABOUSSI, Fayza; De Berardinis, Véronique; Faulon, Jean-Loup; Garcia-Bernet, Diana; Gras, Gabriel; Legrand, Jack; Ouarné, Francoise; Li-Beisson, Yonghua; +9 more
    Publisher: HAL CCSD
    Country: France
    Project: EC | IBISBA 1.0 (730976), EC | PREP-IBISBA (871118)
  • English
    Authors: 
    Nair, Sreeja,; Meirim, Filipe; Pereira, Mário; Ferreira, Carla; Shapiro, Marc;
    Publisher: HAL CCSD
    Country: France
    Project: EC | LightKone (732505)

    The tree is an essential data structure in many applications. In a distributed application, such as a distributed file system, the tree is replicated.To improve performance and availability, different clients should be able to update their replicas concurrently and with...

  • French
    Authors: 
    Picaud, Myrtille;
    Publisher: HAL CCSD
    Country: France
    Project: EC | SURVEILLE (284725)

    In Nice, Marseilles, Saint-Etienne and Valenciennes, "safe city" projects – the securitized version of “smart cities” – are currently under development. In addition to "smart" CCTV, where algorithms enable to detect crowd movements, violence and intrusion, so-called "hy...

  • Publication . Conference object . Article . Report . 2021
    Open Access English
    Authors: 
    Charlie Jacomme; Steve Kremer;
    Publisher: HAL CCSD
    Country: France
    Project: EC | SPOOC (645865)

    Passwords are still the most widespread means for authenticating users, even though they have been shown to create huge security problems. This motivated the use of additional authentication mechanisms in so-called multi-factor authentication protocols. In this article...