Lighter is Better: A Lighter Multi-client Verifiable Outsourced Computation with Hybrid Homomorphic Encryption

Gordon et al. (TCC 2015) systematically studied the security of Multi-client Verifiable Computation (MVC), in which a set of computationally-weak clients outsource the computation of a general function f over their private inputs to an untrusted server. They introduced the universally composable (UC) security of MVC and proposed a scheme...

Influence of wheel polygonal wear on wheel-rail dynamic contact in a heavy-haul locomotive under traction conditions

For a heavy-haul locomotive within a wheel repairing period, wheel polygonal wear with different operating mileages is obtained by field testing. The test results show that the maximum radial runout of the wheel can increase to 0.87 mm and accompany with the typical damage of wheel tread shelling. Taking the wheel polygons as input excitation...

A numerical Bayesian-calibrated characterization method for multiscale prepreg preforming simulations with tension-shear coupling

Carbon fiber reinforced plastics (CFRPs) are attracting growing attention in industry because of their enhanced properties. Preforming of thermoset carbon fiber prepregs is one of the most common production techniques of CFRPs. To simulate preforming, several computational methods have been developed. Most of these methods, however, obtain...