1005 search results - page 101 / 201 » Practical Secure Function Evaluation |
121
click to vote
ENTCS
2007
15 years 2 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
111
click to vote
OL
2007
15 years 1 months ago
2007
We propose a modified sequential quadratic programming (SQP) method for solving mixed-integer nonlinear programming problems. Under the assumption that integer variables have a s...
136
Voted
INFOCOM
2012
IEEE
13 years 4 months ago
2012
IEEE
Abstract—In this paper, we implement and evaluate three different Byzantine Fault-Tolerant (BFT) state machine replication protocols for data centers: (1) BASIC: The classic solu...
128
click to vote
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
The paradigm of information-centric networking subsumes recent approaches to integrate content replication services into a future Internet layer. Current concepts foster either a ...
105
click to vote
ACSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
An Air Force evaluation of Multics, and Ken Thompson’s famous Turing award lecture “Reflections on Trusting Trust,” showed that compilers can be subverted to insert maliciou...