Day 6: mat385

Last time: section 1.4

Next time: section 2.2

Today:

Announcements
- Hand back homework 1.2. Graded these three (out of six, therefore):
  - #10 -- in the back
  - #16 -- Lauren?
  - #42 -- Brad, Aaron?
- Hand in homework over 1.3.
- Your 1.4 homework is due next time (Wednesday).
- New assignment over 2.1 (due next Monday).
- I've assigned your first project (due 10/12).
- Next Monday, September 19, there's a talk you might be interested in:
  The Future of Infosec in Historical Context
  Whitfield Diffie
  7:40 p.m.
  VP of Information Security, ICANN
  Chief Cryptographer, Revere Security
  Information security before 1900 consisted of locking the safes, guarding the buildings, and sending documents via trusted courier. The first transatlantic radio transmission in 1904 and World War I a decade later heralded the arrival of a tool too valuable to forgo, a tool that bypassed all known information-security security techniques, with the notable exception of cryptography. Thus began a century long effort to achieve satisfactory cryptographic systems, an effort that reached a major watershed in 2005.
  In many ways, the arrival of radio a century ago parallels the more recent arrival of the Internet. The Internet is a tool that no one can afford to forgo but it is a tool fraught with security challenges. We will examine the parallels between internet infosec and earlier forms and look forward at upcoming phenomena, particularly cloud computing.
Questions on problems from the section 1.3 homework you just handed in, or from 1.4 homework you're working on?
Let's finish up section 1.4: Predicate Logic
Then we'll start section 2.1: Proof Techniques

Website maintained by Andy Long. Comments appreciated.