Secure numerical and logical multi party operations
Related publications (39)
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
Two of the most basic problems encountered in numerical optimization are least-squares problems and systems of nonlinear equations. The use of more and more complex simulation tools on high performance computers requires solving problems involving an incre ...
A new 3 degrees of freedom (dof) structure is presented. It features rotation on two axes with a fixed remote center of motion (RCM) i.e. it always aims at the same point. The third axis is a linear movement in direction of the fixed point. This type of ki ...
The evolution of the electromagnetic coupling, α, in the momentum-transfer range 1800 GeV2 < -Q2 < 21600 GeV2 is studied with about 40 000 Bhabha-scattering events collected with the L3 detector at LEP at centre-of-mass energies √s = 189-209 GeV. The runni ...
We present a framework for the autonomous discovery and selection of Semantic Web services based on their QoS properties. The novelty of our approach is the wide use of semantic technologies for a customizable discovery, which enables both the service user ...
In an earlier study it was proven and experimentally confirmed on a 2D Euler code that fixed point iterations can be differentiated to yield first and second order derivatives of implicit functions that are defined by state equations. It was also asserted ...
This paper describes a method of compiling specification properties into automata or test oracles which allow testing of any proposed implementation. It also shows how to interpret the automata's status during testing. The method addresses verification of ...
Arranging characters and strings in order of representation codes is not suitable for application programming. Even when character ordering is logical, the usual filing of words in dictionaries does not correspond with the mathematical lexicographic orderi ...
The steady-state performance of adaptive equalizers can significantly vary when they are implemented in finite precision arithmetic, which makes it vital to analyze their performance in a quantized environment. In this paper, we present a fixed-point analy ...