Secure computation is a powerful cryptographic tool that encompasses the evaluation of any multivariate function with arbitrary inputs from mutually distrusting parties. The oblivious transfer primitive serves is a basic building block for the general task of secure multi-party computation. Therefore. analyzing the security in the universal composability framework becomes mandatory wh... https://www.roneverhart.com/Eugenia-Spiral-Topiary/