Results 131 to 140 of about 2,887,711 (311)
Flexible and Efficient Verifiable Computation on Encrypted Data [PDF]
, 2021 We consider the problem of verifiable and private delegation of computation [Gennaro et al. CRYPTO\u2710] in which a client stores private data on an untrusted server and asks the server to compute functions over this data.
Dongwoo Kim +3 more
core
Applied SciencesAs Internet of Things (IoT) technology continues to advance at a rapid pace, smart devices have permeated daily life. Service providers are actively collecting copious numbers of user data, with the aim of refining machine learning models to elevate ...
Rongquan Shi, Lifei Wei, Lei Zhang
doaj +1 more source
The Verifying Compiler: A Grand Challenge for Computing Research [PDF]
Journal of the ACM, 2003 This contribution proposes a set of criteria that distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the interest of scientists and engineers. As an example drawn from Computer Science, it revives an old challenge: the construction and application of a verifying ...
openaire +7 more sources
FEBS Letters, EarlyView.Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil +4 more
wiley +1 more source
pH‐mediated activation of the lysosomal arginine sensor SLC38A9
FEBS Letters, EarlyView.Cells monitor nutrient levels via the lysosomal transporter SLC38A9 to activate the mechanistic target of rapamycin complex 1 (mTORC1). This study reveals that SLC38A9 function is regulated by pH. We identified histidine 544 as a critical pH sensor that undergoes conformational changes to control amino acid efflux from lysosomes; therefore, it ...
Xuelang Mu, Ampon Sae Her, Tamir Gonen
wiley +1 more source
Secure efficient and verifiable large linear equations solve outsourcing computing scheme
网络与信息安全学报, 2017 A secure,efficient and verifiable outsourcing computation scheme was proposed based on the current problems of leaking users information and tampering with the calculating results,which were encountered while solving large-scale linear equations in ...
Xing-lan ZHANG,Xiang LIU
doaj +1 more source
FEBS Letters, EarlyView.Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure +3 more
wiley +1 more source
Trinocchio: Privacy-Friendly Outsourcing by Distributed Verifiable Computation
, 2015 . Verifiable computation allows a client to outsource computa-tions to a worker with a cryptographic proof of correctness of the result that can be verified faster than performing the computation.
Berry Schoenmakers +9 more
core
Certificate Validation in Secure Computation and Its Use in Verifiable Linear Programming [PDF]
, 2015 For many applications of secure multiparty computation it is natural to demand that the output of the protocol is verifiable. Verifiability should ensure that incorrect outputs are always rejected, even if all parties executing the secure computation ...
Berry Schoenmakers +2 more
core
Parallel remote state preparation for fully device-independent verifiable blind quantum computation
Physical Review ResearchWe introduce a device-independent two-prover scheme in which a classical verifier can use a simple untrusted quantum measurement device (the client device) to securely delegate a quantum computation to an untrusted quantum server.
Sean A. Adamson
doaj +1 more source