Paper and formalization on divided differences
Code corresponding to: Computer-aided proofs for multiparty computation with active security
