Theoretical Computer Science · 2016 · 38 citations · 4 references
ComputingComputer EngineeringComputer ScienceComputer SecurityCryptographySecurity ProtocolsAuthentication ProtocolsCryptographic Protocol DesignCryptographic ProtocolsMutual AuthenticationSecure Multi-party ComputationSecurity Protocol VerificationFormal Verification Of Cryptographic ProtocolsProtocol CompositionSecure Authentication Protocols
4
Computations with a deck of cards
Anton Štiglić · Theoretical Computer Science · 2001 · 80 citations
Valtteri Niemi, Ari Renvall · Fundamenta Informaticae · 1999 · 31 citations