CIS 4362 Cryptology

Syllabus

Course Assignments/Announcements

• HW4 is on Sakai and is due Wed next week. The protocol you are to analyze is on slide 14 of the original deck, 16 in the modified deck.
  The protocol is:

  A to B: M1 = E(PU_b, [N_1 || ID_A])
  B to A: M2 = E(PU_a, [N_1 || N_2])
  A to B: M3 = E(PU_b, N_2)
  A to B: M4 = E(PU_b, E(PR_a, K_s))
  where PU_x is X's public key, PR_x is the corresponding private key, E is encryption, N_i is a nonce, and K_s is a session key.

• Read SRC-39 BAN Logic tech report for Monday 4/13
• Read Ch. 14 - Key Mgt for Wed 4/8
• Read Ch. 13 - Digital Signatures for Mon 4/6
  Take time to work through the math for signature verification Homework 3 is due Wed 4/1/15
• Read Ch. 12 - MAC for Mon 3/30
• Consult the short list of project ideas if you are having difficulty coming up with a project idea.
• Read Ch. 11 - Crypto Hash Fcns for Fri 3/20
• Read Ch. 10 - Wed 3/18
• Submit term project proposal Saturday - See Sakai
• Read Ch. 9 - Fri.
• Read Ch. 8 - Wed.
• Read Ch. 7
• Read Ch. 6 - Fri.
• Read Ch. 5 - Wed.
• Read Ch. 4
• Project 1 has been updated.
• Project 1 description is out. It is due 2/10/15. You may work in teams of 2-3. Your submissions must include a header with class, title, date, the name(s) of submitter(s), and if you worked as a team, exactly what each person contributed.
• See Map of Cryptography Laws for a visual summary of legal policies regarding crypto around the world.
• Read Ch. 3 for next week
• The slides link is now fixed - do read rest of slides for Ch02 to help with homework.
• I plan to be available Wednesday afternoon to help with homework as needed - location TBD.
• Crypto Club has some nifty animations/simulations of classic ciphers and cracking tools.
• Kahn Academy also explains not only basic classical ciphers, but some of the modern stuff as well.
• LouisDade has the best explanation and simulation of the Enigma machines I have found.
• read Chs. 1 and 2 for Friday
• Homework 2 is on Sakai
• Exams
• Projects

Slides

Notes

• Introduction to Crypto - or - a smaller version
• Modern Crypto - or - a smaller version
• Hashes - or - a smaller version
• Public Key Crypto - or - a smaller version
• Network Crypto a smaller version
• Network Security a smaller version
• basic protocols
• advanced protocols
• Public Key Infrastructure
• Pretty Good Privacy (PGP)
• Key Escrow
• More... TBA

Other Materials

• Stallings 5/e student site
• Schneier Solitaire cipher
• FBI (Simple) Crypto Challenge
• FBI page on some basic ciphers they have seen
• Biham's cipher animations
• Rivest, Shamir, and Adelman win 2002 Turing Award
• DEC SRC TR-039: A Logic of Authentication

  DEC SRC TR-039: A Logic of Authentication (pdf)

• DEC SRC TR-039-appendix: A Logic of Authentication Appendix
• DEC SRC TR-067: Authentication and Delegation with Smart-cards
• DEC SRC TR-083: Authentication in Distributed Systems: Theory & Practice
• DEC SRC TR-125: Prudent Engineering Practice for Cryptographic Protocols
• OpenSSL home page Download site for OpenSSL, including crypto library
• Tutorial and Download for PGP, with local mirror
• GNU Privacy Manual with plenty on the Web of Trust
• Prof. Doug Jones' page on voting
• Prof. Avi Rubin's page on electronic voting.
• article on voting in India