BEGIN:VCALENDAR
PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:Calagator
METHOD:PUBLISH
VERSION:2.0
BEGIN:VTIMEZONE
TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles
BEGIN:DAYLIGHT
DTSTART:20090308T020000
RDATE:20090308T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20090724T154624Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20090728T113000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20090728T103000
DTSTAMP;VALUE=DATE-TIME:20090724T154624Z
LAST-MODIFIED;VALUE=DATE-TIME:20090724T154624Z
UID:http://calagator.org/events/1250457471
DESCRIPTION:The July 28th Galois Tech Talk will be delivered by Joe Hurd\
, titled “Mathematics of Cryptography: A Guided Tour.”
\;\n
\;\n
* Date: Tuesday\, July 28th\, 2009
\;\n * Time: 10:30am - 11:30a
m
\;\n * Location: Galois\, Inc.
\;\n 421 SW 6th Ave. Suit
e 300
\;\n (3rd floor of the Commonwealth Building)
\;\n
Portland\, OR 97204
\;\n
\;\nAbstract: In this informal talk I’ll
give a guided tour of the mathematics underlying cryptography. No prior
knowledge will be assumed: the goal of the talk is to demonstrate how s
imple mathematical concepts from algebra and number theory are used to b
uild a wide range of cryptographic algorithms\, from the familiar (encry
ption) to the exotic (zero knowledge proofs).
\;\n
\;\nBio: Joe Hu
rd is a Formal Methods Engineer at Galois\, Inc. He completed a Ph.D. at
the University of Cambridge on the formal verification of probabilistic
programs\, and his work since has included: developing a package manage
ment system for higher order logic theories\; applying automatic proof t
echniques for first order logic\; and creating the world’s first formall
y verified chess endgame database.\n\nImported from: http://calagator.or
g/events/1250457471
URL: http://www.galois.com/blog/2009/07/22/cryptomath/
SUMMARY:Galois Talk: Mathematics of Cryptography: A Guided Tour
LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US
SEQUENCE:0
END:VEVENT
END:VCALENDAR