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