Results 121 to 130 of about 37,961 (305)
Verifiable Decryption for BGV [PDF]
In this work we present a direct construction for verifiable decryption for the BGV encryption scheme by combining existing zero-knowledge proofs for linear relations and bounded values.
Tjerand Silde
core
Could Climate Projections Be Verifiable?
Meteorological ApplicationsVerification for weather prediction is highly developed and has guided, motivated, and documented improvements in recent decades. In comparison, verification is far less developed for climate projections.
Angeline G. Pendergrass
doaj +1 more source
FEBS Letters, EarlyView.An unexpected alternative interaction site for ethyl viologen was identified in formate dehydrogenase 1 from Methylorubrum extorquens. Combined mutagenesis, kinetic analysis, and docking revealed that aromatic residues near an iron–sulfur cluster enable flavin mononucleotide‐independent electron transfer, offering a framework for engineering improved ...
Eleni G. Poloniataki, Yong Hwan Kim
wiley +1 more source
Frontiers in BlockchainIntroductionAcademic publishing, a cornerstone of knowledge dissemination and scientific advancement, increasingly faces ethical threats such as unconsented authorship, gift authorship, author ambiguity, and undisclosed conflicts of interest.
Kamal Al-Sabahi +1 more
doaj +1 more source
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
, 2019 This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.Thesis: M.
Ezike, Kayode Yadilichi.
core
Verifiable encrypted computations
Tsoutsos, Nektarios G.The ubiquitous usage of cloud computing has revolutionized the way individuals and organizations access and process their data. By delivering numerous services on the internet, cloud computing allows users to store vast amounts of ...
Ahmed, Omar Atef Abdelaleem
core +1 more source
From mice to humans—divergent strategies for intestinal homeostasis and regeneration
FEBS Letters, EarlyView.Recent advances such as organoid genome editing, xenotransplantation, imaging, and whole‐genome sequencing have enabled direct studies of human intestinal stem cells (ISCs). These studies reveal species‐specific features, including slower ISC proliferation, distinct injury responses, slower somatic mutation accumulation in humans, and an inverse ...
Keiko Ishikawa +2 more
wiley +1 more source
Conditionally Verifiable Signatures
, 2008 . We introduce a new digital signature model, called conditionally verifiable signature (CVS), which allows a signer to specify and convince a recipient under what conditions his signature would become valid and verifiable; the resulting signature is not
Aldar C-f. Chan, Ian F. Blake
core
Publicly Verifiable Proofs from Blockchains [PDF]
, 2019 A proof system is publicly verifiable, if anyone, by looking at the transcript of the proof, can be convinced that the corresponding theorem is true. Public verifiability is important in many applications since it allows to compute a proof only once ...
Luisa Siniscalchi +2 more
core