Concepedia

A formalization of card-based cryptographic protocols via abstract machine

Takaaki Mizuki, Hiroki Shizuya

International Journal of Information Security · 2013 · 102 citations · 8 references

Concepts

ComputingComputer EngineeringComputer ScienceCryptographyFormal MethodsSecurity ProtocolsAuthentication ProtocolsCryptographic Protocol DesignCryptographic ProtocolsMutual AuthenticationSecurity Protocol VerificationSmart Card AuthenticationFormal Methods For Security ProtocolsFormal Verification Of Authentication ProtocolsFormal Verification Of Cryptographic ProtocolsFormal Verification Tools For Cryptographic ProtocolsProtocol Formal Verification

References

8

On Computable Numbers, with an Application to the Entscheidungsproblem

Alan Turing · Proceedings of the London Mathematical Society · 1937 · 8.1K citations

Computing, Computer Science, Mathematics +10

Comparing information without leaking it

Ronald Fagin, Moni Naor, Peter Winkler · Communications of the ACM · 1996 · 203 citations · Full text

Computing, Computer Science, Computer Security +6

Computations with a deck of cards

Anton Štiglić · Theoretical Computer Science · 2001 · 80 citations

Computing, Computer Science, Computer Systems +2

Secure multiparty computations without computers

Valtteri Niemi, Ari Renvall · Theoretical Computer Science · 1998 · 80 citations

Computing, Computer Science, Cryptography +6

Bounds on secret key exchange using a random deal of cards

Michael J. Fischer, Rebecca N. Wright · Journal of Cryptology · 1996 · 59 citations · Full text

Computing, Computer Science, Cryptography +10