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...

SpiderWeb: Enabling Through-Screen Visible Light Communication

We are now witnessing a trend of realizing full-screen on electronic devices such as smartphones to maximize their screen-to-body ratio for a better user experience. Thus the bezel/narrow-bezel on today's devices to host various line-of-sight sensors would disappear. This trend not only is forcing sensors like the front cameras to be placed...

Coping with the uncertainties in the climate change adaptation of river dikes using risk-aversion economic optimization

To guarantee a safe flood defence in a changing environment, the adaptation to climate change needs to be considered in the design of river dikes. However, the large uncertainty in the projections of future climate leads to varied estimations of future flood probability. How to cope with the uncertainties in future flood probability under...

Ebb-tidal delta morphology in response to a storm surge barrier

The Eastern Scheldt ebb-tidal delta morphology has been adapting for the past 25 years in response to the construction of the Eastern Scheldt storm-surge barrier in 1986. As a result of the barrier, there has been a decrease in tidal amplitudes, volumes, and average flow velocities, and there is hardly any sediment exchange through the barrier....

A process-based approach to sediment transport in the Yangtze estuary

A process-based model for the Yangtze Estuary is constructed to study the sediment transport in the estuary. The proposed model covers the entire tidal region of the estuary, the Hangzhou Bay and a large part of the adjacent sea. The dominant processes, fluvial and tidal, are included in the model. The calibration of the model against extensive...