Universally composable two-party and multi-party secure computationRan CanettiYehuda Lindellet al.2002STOC 2002
On the composition of authenticated byzantine agreementYehuda LindellAnna Lysyanskayaet al.2002STOC 2002