AU kursuskatalog arkiv

Kryptologisk Protokolteori (Q3+Q4) honours ( forår 2011 - 10 ECTS )

Rammer for udbud

• Uddannelsessprog: engelsk
• Niveau: Kandidatkursus
• Semester/kvarter: Q3+Q4
• Timer per uge: 4
• Deltagerbegrænsning: Ingen
• Undervisningssted: Århus
• Hovedområde: Det Naturvidenskabelige Fakultet
• Udbud ID: 27486

Formål

Deltagerne vil efter kurset have detaljeret kendskab til teknikker til konstruktion af kryptologiske protokoller, og et grundlag for at forstå modeller for sikkerhed af flerpartsprotokoller.

Obligatorisk program

En skriftlig rapport skal udarbejdes og afleveres mod slutningen af kurset,
emnet vælges i samarbejde mellem student og forelæser. Derudover skal et antal mindre skriftlige opgaver indleveres og godkendes under kurset. Opgaverne er udvalgt så de retter sig mod de læringsmåd, der til sidst dokumenteres gennem rapporten.

Indhold

Kurset genemgår teorien for protokoller og relaterede begreber med forbindelser til kryptologi, matematik og kompleksitetsteori. Hovedområder vi vil dække inkluderer: Probabilistiske bevissystemer, commitment systemer, zero-knowledge og sikre distribuerede beregninger. Vi vil også se på praktiske anvendelser på områder der bliver mere vigtige, efterhånden som vi håndterer flere og flere opgaver i samfundet elektronisk. Dette inkluderer f.eks. bruger identifikation, elektroniske afstemninger, distribuerede signatur- og krypteringssystemer, elektroniske kontanter, etc. Kurset forudsætter normalt det introducerende kryptologikursus, men det kan også følges af studerende med en baggrund i algoritmer og kompleksitet, som vil høre mere om forbindelsen mellem dette område og kryptologi. Kontakt forelæserne, hvis du er interesseret i at følge kurset, men ikke har fulgt Kryptografikurset. Beslægtede kurser, der måske er interessante: Kryptologi, der udbydes i 1.+2. kvarter, Kvanteinformatik, der udbydes i 1.+2. kvarter, og Matematiske Aspekter af Kryptologi, der udbydes på Matematik i 3.-4. kvarter.

Faglige forudsætninger

Kryptologi

Underviser

Ivan Bjerre Damgård og Jesper Buus Nielsen

Undervisnings- og arbejdsform

Forelæsninger (2+2t/uge)

Engelsk

Litteratur

Kursusnoter

Kursushjemmeside

http://www.daimi.au.dk/~ivan/CPT.html

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

• beskrive og klassificere kryptografiske protokoller.
• beskrive modeller og definitioner af sikkerhed.
• bevise sikkerhed af give protokoller.
• Gennem den skriftige rapport demonstrere evne til at
  ræssonere om og perspektivere og/eller bygge videre på teknikker
  der anvendes i kryptografiske protokoller.

Skemaplacering (forelæsninger)

http://cs.au.dk/studies/computer-science-programme/schedules/  

Eksamensterminer

Juni/juli, reeksamen foregår efter aftale med underviseren

Udbyder

Datalogisk Institut

Tilmelding til undervisning

http://mit.au.dk

Bedømmelse

Opgaver/rapport og mundtlig eksamen (30 min.) uden forberedelse med samlet karakter efter
7-skala, intern censur