Results 41 to 50 of about 959,083 (268)
The IITM Model: a Simple and Expressive Model for Universal Composability [PDF]
The universal composability paradigm allows for the modular design and analysis of cryptographic protocols. It has been widely and successfully used in cryptography. However, devising a coherent yet simple and expressive model for universal composability
Max Tuengerthal +2 more
core +1 more source
Universal composable threshold signature
Threshold signature allowed any subset of t parties generating a signature,but that disallowed the creation of a valid signature if fewer than t parties participate in the protocol.Since the security of threshold signature was only con-sidered in a ...
HONG Xuan1, CHEN Ke-fei2, LI Qiang2
doaj +2 more sources
AnoA: A Framework for Analyzing Anonymous Communication Protocols
Anonymous communication (AC) protocols such as the widely used Tor network have been designed to provide anonymity over the Internet to their participating users.
Michael Backes +4 more
doaj +1 more source
General Composition and Universal Composability in Secure Multiparty Computation [PDF]
Concurrent general composition relates to a setting where a secure protocol is run in anetwork concurrently with other, arbitrary protocols. Clearly, security in such a setting is what is desired, or even needed, in modern computer networks where many ...
Yehuda Lindell
core
From mice to humans—divergent strategies for intestinal homeostasis and regeneration
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
Universal health plan proposal. Spanish
Title from PDF caption (viewed on September 14, 2022)."El Grupo de Trabajo Conjunto sobre Atención Universal comenzó con la aprobación de la Ley 770 del Senado.
core
Models, Composability, and Validity [PDF]
Composability is the capability to select and assemble simulation components in various combinations into simulation systems to satisfy specific user requirements.
Weisel, Eric Werner
core +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Secure secret-sharing Single-Source Shortest Distance (SSSD) protocols, based on secure multiparty computation (SMC), offer a promising solution for securely distributing and managing sensitive information among multiple parties. However, formal security
Mohammad Anagreh, Peeter Laud
doaj +1 more source
Quantum Universally Composable Oblivious Linear Evaluation [PDF]
Oblivious linear evaluation is a generalization of oblivious transfer, whereby two distrustful parties obliviously compute a linear function, $f (x) = ax + b$, i.e., each one provides their inputs that remain unknown to the other, in order to compute the
Manuel B. Santos +2 more
doaj +1 more source

