I'm looking for a textbook or article that spells out the details of Kilian's paper on the completeness of oblivious transfer for secure two-party function evaluation (2PC). Kilian's paper is in the form of an extended abstract which doesn't include many of the details. Moreover, there have been many development in the 2PC theory since Kilian's seminal work, such as the universal composability framework of Canetti. An ideal reference would be one that gives a full proof of the completeness of OT in this framework.
I have read Oded Goldreich's book chapter on 2PC which uses commitments and ZKProofs to compile a semi-honest protocol into a maliciously secure protocol. However, I'm mostly interested in the OT-based approach of Kilian.