Theoretical Computer Science · 2019 · 47 citations · 12 references
ComputingComputer ScienceComputer SystemsAlgorithmsAuthenticationCryptographyCryptographic Protocol DesignElliptic Curve CryptographyMutual AuthenticationRandomized ComputationSecure Multi-party ComputationSecurity Protocol VerificationApplications In CryptographyFormal Verification Of Authentication ProtocolsKey Exchange With Elliptic Curve CryptographyProvable Security Of Key ExchangeSmart Card Cryptography
12
Protocols for secure computations
Andrew Chi-Chih Yao · Foundations of Computer Science · 1982 · 2.7K citations
Comparing information without leaking it
Ronald Fagin, Moni Naor, Peter Winkler · Communications of the ACM · 1996 · 203 citations · Full text