This book gives a high-level introduction to various common MPC protocols and techniques. It’s very digestible and covers a lot more protocols than the Bar-Ilan winter school videos. There are no security proofs though, unfortunately.