Results 131 to 140 of about 816 (272)
Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes [PDF]
Designing cryptographic protocols and proving these rigorously secure is an arduous and challenging task. Among the methods commonly used to prove security of cryptographic protocols, formalizing it in Canneti\u27s Universal Composability (UC) Framework ...
Marcus Völker, Maxim Jourenko
core
Advanced Engineering Materials, EarlyView.This study investigates the effects of milling parameters, including rotational speed, milling duration, and ball‐to‐powder ratio, on TiAl particle size and morphology in an XHV‐equivalent atmosphere. The creation of oxide‐free surfaces enhances the mechanical properties of green bodies.
Jytte Möckelmann +4 more
wiley +1 more source
New Techniques for Electronic Voting [PDF]
, 2015 . This paper presents a novel unifying framework for electronic voting in the universal composability model that includes a property which is new to universal composability but well-known to voting systems: universal verifiability.
Alan Szepieniec, Bart Preneel
core
Advanced Engineering Materials, EarlyView.We develop a data‐driven method to derive the mathematical expressions of the Flory–Huggins interaction parameter χ for the swelling behavior of temperature–responsive hydrogels. Starting from initial assumptions of χ, our workflow combines Bayesian optimization, Flory–Rehner theory, and symbolic regression to generate candidate χ expressions.
Yawen Wang +2 more
wiley +1 more source
Fatigue Crack Initiation and Growth in Nanocrystalline Ni at Multiple Length‐Scales
Advanced Engineering Materials, EarlyView.Overview of miniaturized in situ SEM fatigue setup and resultant fatigue crack growth data for nanocrystalline Ni. The presented study focuses on the analysis of fatigue crack growth rate (FCGR) in focused ion beam‐notched microcantilevers prepared from nanocrystalline (NC) Ni as a model material.
Igor Moravcik +7 more
wiley +1 more source
HE-based On-the-Fly MPC, Revisited: Universal Composability, Approximate and Imperfect Computation, Circuit Privacy [PDF]
On-the-fly multi-party computation (MPC), introduced by López-Alt, Tromer, and Vaikuntanathan (STOC 2012), enables clients to dynamically join a computation without remaining continuously online.
Sylvain Chatel +2 more
core
A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science
Advanced Engineering Materials, EarlyView.We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann +8 more
wiley +1 more source
A Formal Treatment of Homomorphic Encryption Based Outsourced Computation in the Universal Composability Framework [PDF]
The adoption of Homomorphic Encryption (HE) and Secure Function Evaluation (SFE) applications in the real world remains lim- ited, even nearly 50 years after the introduction of HE.
Wasilij Beskorovajnov +3 more
core
Creep‐Induced Microstructural Evolution in an A2‐B2 Superalloy
Advanced Engineering Materials, EarlyView.A 27.3Ta‐27.3Mo‐27.3Ti‐8Cr‐10Al (at.%) refractory high‐entropy alloy with precipitation‐strengthened A2‐B2 microstructure was studied by creep tests at 1030°C, which demonstrate a transition in deformation mechanisms in the range of 100–150 MPa applied stress. This is associated with changes in dislocation–precipitate interactions. Relevant deformation
Liu Yang +10 more
wiley +1 more source
Crystallinity, Rheology, and Mechanical Properties of Low-/High-Molecular-Weight PLA Blended Systems. [PDF]
Molecules, 2023 Yang H, Du J.
europepmc +1 more source