Filters (2)
Download Results
178 research outcomes, page 1 of 18
  • publication . Conference object . Part of book or chapter of book . 2018
    Open Access English
    Authors:
    Pellungrini, Roberto; Pappalardo, Luca; Pratesi, Francesca; Monreale, Anna;
    Publisher: Springer
    Project: EC | SoBigData (654024)

    Mobility data are of fundamental importance for understanding the patterns of human movements, developing analytical services and modeling human dynamics. Unfortunately, mobility data also contain individual sensitive information, making it necessary an accurate privacy...

  • publication . Conference object . Part of book or chapter of book . 2018
    Open Access English
    Authors:
    Alessandro Barenghi; Nicholas Mainardi; Gerardo Pelosi;
    Persistent Identifiers
    Publisher: Springer Verlag
    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 . Other literature type . Preprint . Part of book or chapter of book . 2018
    Open Access
    Authors:
    Davide Ghiglino; Davide De Tommaso; Agnieszka Wykowska;
    Publisher: Center for Open Science
    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 . Conference object . 2016
    Restricted English
    Authors:
    Lucchese C.; Orlando S.; Perego R.;
    Publisher: Springer International Publishing
    Project: EC | SoBigData (654024)

    This work investigates how approximate binary patterns can be objectively evaluated by using as a proxy measure the quality achieved by a text clustering algorithm, where the document features are derived from such patterns. Specifically, we exploit approximate patterns...

  • 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
    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 . Conference object . Part of book or chapter of book . 2015
    Open Access English
    Authors:
    Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro;
    Persistent Identifiers
    Publisher: HAL CCSD
    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 . 2020
    Restricted English
    Authors:
    Daoudagh, Said; Lonetti, Francesca; Marchetti, Eda;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | CyberSec4Europe (830929)

    In modern pervasive applications, it is important to validate Access Control (AC) mechanisms that are usually defined by means of the XACML standard. Mutation analysis has been applied on Access Control Policies (ACPs) for measuring the adequacy of a test suite. This pa...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Article . Preprint . 2020
    Open Access
    Authors:
    Aurèle Germain; Piero Ugliengo;
    Persistent Identifiers
    Publisher: Springer International Publishing
    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
    Open Access
    Authors:
    Joshua Romero; Everett Phillips; Gregory Ruetsch; Massimiliano Fatica; Filippo Spiga; Paolo Giannozzi;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | MaX (676598)

    We describe the porting of PWscf (Plane-Wave Self Consistent Field), a key component of the Quantum ESPRESSO open-source suite of codes for materials modeling, to GPU systems using CUDA Fortran. Kernel loop directives (CUF kernels) have been extensively used in order to...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . 2019
    Open Access English
    Authors:
    Alessandro Cimatti; Chun Tian; Stefano Tonetta;
    Persistent Identifiers
    Publisher: Springer International Publishing
    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
178 research outcomes, page 1 of 18