Authenticated Garbling and Communication-Efficient, Constant-Round, Secure Two-Party Computation