We consider general program obfuscation mechanisms using “somewhat trusted” hardware devices, with the goal of minimizing the usage of the hardware, its complexity, and the required trust. Specifically, our solution has the following properties: (i) The obfuscation remains secure even if all the hardware devices in use are leaky. That is, the adversary can obtain the result of evaluating any fu...

This paper studies the Bahadur efficiency of empirical likelihood for testing moment condition models. It is shown that under mild regularity conditions, the empirical likelihood overidentifying restriction test is Bahadur efficient, i.e., its p-value attains the fastest convergence rate under each fixed alternative hypothesis. Analogous results are derived for parameter hypothesis testing and ...

This paper introduces a method for predicting the likely behaviors of continuous nonlinear systems in equilibrium in which the input values can vary. The method uses a parameterized equation model and a lower bound on the input joint density. to bound the likelihood that some behavior will occur, such as a state variable being inside a given numeric range. Using a bound on the density instead o...

A concentration-dependent surface area parameter model (Iwai, Fluid Phase Equilibria, 465 (2018) 24–32) was modified to avoid the restriction conditions for parameters of pure components. The is applied correlate ternary liquid-liquid equilibria and constituent binary phase with one set parameters. correlated results both vapor-liquid obtained by are better than those NRTL UNIQUAC models. simul...