1005 search results - page 101 / 201 » Practical Secure Function Evaluation |
ENTCS
2007
13 years 10 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...
OL
2007
13 years 9 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...
INFOCOM
2012
IEEE
12 years 16 days 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...
SIGCOMM
2012
ACM
12 years 16 days 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 ...
ACSAC
2005
IEEE
14 years 3 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...