Results 41 to 50 of about 2,533 (255)
A Publicly Verifiable Multi-Secret Sharing Scheme With Outsourcing Secret Reconstruction
IEEE Access, 2018 A publicly verifiable secret sharing (PVSS) scheme enjoys the public verification and the lower cost of communication than VSS scheme. However, the existing PVSS schemes cannot be applied in the scenarios of the devices with low computation ability and ...
Changlu Lin +3 more
doaj +1 more source
How to Verify a Quantum Computation
Theory Comput., 2015 We give a new theoretical solution to a leading-edge experimental challenge, namely to the verification of quantum computations in the regime of high computational complexity. Our results are given in the language of quantum interactive proof systems. Specifically, we show that any language in $\mathsf{BQP}$ has a quantum interactive proof system with ...
openaire +3 more sources
Towards verified cloud computing environments [PDF]
2012 International Conference on High Performance Computing & Simulation (HPCS), 2012 As the usage of the cloud becomes pervasive in our lives, it is needed to ensure the reliability, safety and security of cloud environments. In this paper we study a usual software stack of a cloud environment from the perspective of formal verification. This software stack ranges from applications to the hypervisor.
Frédéric Loulergue +3 more
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Cup‐like nuclei are a distinctive morphological feature observed in certain cases of acute lymphoblastic leukemia (ALL). We provide evidence that they characterize DUX4/ERG ALL independently of IKZF1 deletion and reveal marked mitochondrial accumulation in this ALL subset.
Chloé Arfeuille +9 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Primary cutaneous anaplastic large cell lymphoma (pcALCL) is a rare pediatric CD30‐positive T‐cell lymphoproliferative disorder with an excellent prognosis, but its genomic drivers are poorly defined. We report three children with skin‐limited disease demonstrating striking molecular heterogeneity, including NPM::ALK, NUP214::FRK, and a novel ...
Shoshana Greenberger +7 more
wiley +1 more source
Verifiable Subgraph Matching With Cryptographic Accumulators in Cloud Computing
IEEE Access, 2019 Due to the rapid development of social networks, bio-informatics, internet-of-things etc., subgraph matching query can be found in various applications.
Yixiao Zhu +3 more
doaj +1 more source
Verified Compilation of Floating-Point Computations [PDF]
Journal of Automated Reasoning, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boldo, Sylvie +3 more
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Combined oral contraceptive (COC) use in obese adult women dramatically increases the relative risk of developing a pulmonary embolism (PE). The risk of a PE in obese adolescent females taking contraceptives is currently unknown. The purpose of this investigation was to determine the effect of body mass index (BMI) and contraceptive
John Puetz, Joanne Salas
wiley +1 more source
Verifiable delegation of computation on outsourced data [PDF]
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13, 2013 We address the problem in which a client stores a large amount of data with an untrusted server in such a way that, at any moment, the client can ask the server to compute a function on some portion of its outsourced data. In this scenario, the client must be able to efficiently verify the correctness of the result despite no longer knowing the inputs ...
Michael Backes 0001 +2 more
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Fertility preservation (FP) is increasingly integrated into the care of pediatric patients exposed to gonadotoxic therapy or conditioning for hematopoietic stem cell transplantation (HSCT), yet perioperative data in infants and toddlers remain scarce.
Kerstin Saalabian +13 more
wiley +1 more source