Filters (4)
Download Results
276 research outcomes, page 1 of 28
  • publication . Part of book or chapter of book . Conference object . 2018
    Open Access
    Authors:
    Barenghi, Alessandro; Mainardi, Nicholas; Pelosi, Gerardo;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | M2DC (688201)

    Homomorphic Encryption provides one of the most promising means to delegate computation to the cloud while retaining data confidentiality. We present a plaintext recovery attack against fully homomorphic schemes which have a polynomial time distinguisher for a given fix...

    Add to ORCIDorcid
  • publication . Preprint . Part of book or chapter of book . 2018
    Open Access
    Authors:
    Davide Ghiglino; Davide De Tommaso; Agnieszka Wykowska;
    Project: EC | InStance (715058)

    Despite well-developed cognitive control mechanisms in most adult healthy humans, attention can still be captured by irrelevant distracting stimuli occurring in the environment. However, when it comes to artificial agents, such as humanoid robots, one might assume that ...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2016
    Open Access English
    Authors:
    Sabrina De Capitani di Vimercati; Sara Foresti; Giovanni Livraga; Pierangela Samarati;
    Persistent Identifiers
    Publisher: Springer Berlin Heidelberg
    Project: EC | ESCUDO-CLOUD (644579)

    Companies as well as individual users are adopting cloud solutions at an over-increasing rate for storing data and making them accessible to others. While migrating data to the cloud brings undeniable benefits in terms of data availability, scalability, and reliability,...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . 2015
    Open Access
    Authors:
    Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | HyVar (644298)

    International audience; It is well recognized that a single, arbitrarily efficient solver can be significantly outperformed by a portfolio solver exploiting a combination of possibly slower on-average different solvers. Despite the success of portfolio solvers within th...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . 2017
    Closed Access
    Authors:
    Giovanna Pacini1; 3 and Franco Bagnoli1; 2; 3() 1 Department of Physics and Astronomy and CSDC-Center for the Study of Complex Dynamics; University of Florence; Via G. Sansone 1; Sesto Fiorentino; Florence; Italy {giovanna.pacini; franco.bagnoli}@unifi.it 2 INFN; ...
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | InSPIRES (741677)

    In this paper, we present some aspects of the European Project InSPIRES, which is focused on the concept of the science shop. A science shop is a methodology of opening universities and research centers to the civil society, accepting proposals for investigations and ha...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2018
    Open Access English
    Authors:
    Davide Basile; Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi; Franco Mazzanti; Andrea Piattino; Daniele Trentini; Alessio Ferrari;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | ASTRail (777561)

    The railway sector has seen a large number of successful applications of formal methods and tools. However, up-to-date, structured information about the industrial usage and needs related to formal tools in railways is limited. As a first step to address this, we presen...

    Add to ORCIDorcid
  • publication . Preprint . Part of book or chapter of book . Article . 2020
    Open Access English
    Authors:
    Aurèle Germain; Piero Ugliengo;
    Persistent Identifiers
    Project: EC | ACO (811312)

    Comment: 9 pages, 4 figures, Submitted to LNCS (Springer) ICCSA2020

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . 2017
    Closed Access
    Authors:
    Leonardo Montecchi; Barbara Gallina;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | AMASS (692474)

    Socio-technical systems are characterized by the interplay of heterogeneous entities i.e., humans, organizations, and technologies. Application domains such as petroleum, e-health, and many others rely on solutions based on safety-critical socio-technical systems. To en...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . 2018
    Closed Access
    Authors:
    Attaullah Buriro; Bruno Crispo; Mojtaba Eskandri; Sandeep Gupta; Athar Mahboob; Rutger Van Acker;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | NeCS (675320)

    In this paper, we present a novel motion-based behavioral biometric-based user authentication solution - SnapAuth, for Android-based smartwatch. SnapAuth requires the user to perform finger-snapping (Snapping (or clicking) one’s fingers is the act of creating a snapping...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . 2019
    Open Access
    Authors:
    Alessandro Cimatti; Chun Tian; Stefano Tonetta;
    Persistent Identifiers
    Project: EC | CITADEL (700665)

    We consider Runtime Verification (RV) based on Propositional Linear Temporal Logic (LTL) with both future and past temporal operators. We generalize the framework to monitor partially observable systems using models of the system under scrutiny (SUS) as assumptions for ...

    Add to ORCIDorcid
276 research outcomes, page 1 of 28