Filters (5)
Download Results
256 research outcomes, page 1 of 26
  • publication . Conference object . Part of book or chapter of book . 2019
    Open Access English
    Authors:
    Groen, D.; Richardson, R.A.; Wright, D.W.; Jancauskas, V.; Sinclair, R.; Karlshoefer, P.; Vassaux, M.; Arabnejad, H.; Piontek, T.; Kopta, P.; ...
    Publisher: Springer Verlag
    Countries: France, United Kingdom, Netherlands, France
    Project: EC | VECMA (800925)

    Multiscale simulations are an essential computational method in a range of research disciplines, and provide unprecedented levels of scientific insight at a tractable cost in terms of effort and compute resources. To provide this, we need such simulations to produce res...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2016
    Open Access
    Authors:
    Sabrina De Capitani di Vimercati; Sara Foresti; Giovanni Livraga; Pierangela Samarati;
    Persistent Identifiers
    Country: Italy
    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 English
    Authors:
    Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro;
    Persistent Identifiers
    Publisher: HAL CCSD
    Countries: France, Italy
    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 . 2020
    Open Access English
    Authors:
    Lynne Coventry; Dawn Branley-Bell; Elizabeth Sillence; Sabina Magalini; Pasquale Mari; Aimilia Magkanaraki; Kalliopi Anastasopoulou;
    Persistent Identifiers
    Publisher: Springer
    Country: United Kingdom
    Project: EC | PANACEA (826293)

    There are increasing concerns relating to cybersecurity of healthcare data and medical devices. Cybersecurity in this sector is particularly important given the criticality of healthcare systems, the impacts of a breach or cyberattack (including in the worst instance, p...

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2018
    Open Access
    Authors:
    Barenghi, Alessandro; Mainardi, Nicholas; Pelosi, Gerardo;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Country: Italy
    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 . Part of book or chapter of book . Conference object . 2019
    Open Access English
    Authors:
    Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano;
    Persistent Identifiers
    Publisher: Springer
    Country: Italy
    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
  • publication . Part of book or chapter of book . 2020
    Open Access English
    Authors:
    Michele Ciampi; Roberto Parisella; Daniele Venturi;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | PRIViLEDGE (780477)

    We study adaptive security of delayed-input Sigma protocols and non-interactive zero-knowledge (NIZK) proof systems in the common reference string (CRS) model. Our contributions are threefold: We exhibit a generic compiler taking any delayed-input Sigma protocol and ret...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . 2018
    Open Access
    Authors:
    Joshua Romero; Everett Phillips; Gregory Ruetsch; Massimiliano Fatica; Filippo Spiga; Paolo Giannozzi;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Country: Italy
    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 . Article . Preprint . Part of book or chapter of book . Conference object . 2020
    Open Access English
    Authors:
    Aurèle Germain; Piero Ugliengo;
    Persistent Identifiers
    Publisher: Springer Science and Business Media Deutschland GmbH
    Country: Italy
    Project: EC | ACO (811312)

    One believed path to Interstellar Complexes Organic Molecules (iCOMs) formation inside the Interstellar Medium (ISM) is through chemical recombination at the surface of amorphous solid water (ASW) mantle covering the silicate-based core of the interstellar grains. The s...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2020
    Open Access
    Authors:
    Lombardo, Vincenzo; Damiano, Rossana; Karatas, Tugce; Mattutino, Claudio;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | BE-ARCHAEO (823826)

    Archaeological studies are a trans-disciplinary endeavor, where a number of different scientists collaborate to get a reasonable account of material artefacts, through the various phases of recovery, analysis, and, recently, also exhibition. A large amount of digital da...

    Add to ORCIDorcid
256 research outcomes, page 1 of 26