Cryptology II
BASIC DATA
course listing
Y - courses in joint study programmes
course code
MTAT.07.003
course title in Estonian
Krüptoloogia II
course title in English
Cryptology II
course volume CP
4.00
ECTS credits
6.00
to be declared
not
assessment form
Examination
teaching semester
autumn - spring
language of instruction
Estonian
English
Study programmes that contain the course
Structural units teaching the course
IT - Department of Software Science
Timetable link
Version:
VERSION SPECIFIC DATA
course aims in Estonian
Õppija omandab ülevaate tähtsamatest krüptograafilistest primitiividest ja nende peamistest turvaomadustest, erinevate omaduste omavahelistest seostest ning praktikas kasutatavatest konstruktsioonidest. Õppija omandab peamised krüptograafiliste protokollide ja primitiivide disainimise võtted ning vastava interaktiivsetel mängudel põhineva tõestusmetoodika.
course aims in English
Students obtain an overview of the most important cryptographic primitives and their security properties. They get to know what are the relations between various security properties. They also get an overview of the most common instantiations of various constructions. Students learn the basic principles of cryptographic
protocol and primitive design, and the corresponding game-based proof methodology.
protocol and primitive design, and the corresponding game-based proof methodology.
learning outcomes in the course in Est.
Kursusel osalenud üliõpilased oskavad kriitiliselt lugeda erinevaid turvatõestusi ja oskavad ise koostada keskmise keerukusega turvatõestusi. Lisaks omandavad õppijad peamised krüptograafiliste protokollide ja primitiivide disainimise võtted.
learning outcomes in the course in Eng.
Students obtain the ability to understand and verify various security proofs and are able to construct security proofs with reasonable complexity. Students also learn basic principles of cryptographic protocol and primitive design.
brief description of the course in Estonian
Hüpoteeside testimine ning selle laiendused krüptograafias. Arvutusliku eristamatuse ja semantilise turvalisuse vahelised seosed. Krüptosüsteemide ja kinnistusskeemide homoloogiline klassifikatsioon. Autentimisprimitiivid. Sigmaprotokollid ja nende seos digitaalsignatuuriprotokollidega. Nullteadmus ja teadmus-tõestused. Turvaline ühisarvutus. Peitedastus ja varjestatud arvutusmeetodid. Komponeeritavus ja keeruliste protokollide disainimine.
brief description of the course in English
Hypothesis testing and its extensions in cryptography. Relation between indistinguishability and semantic security. Homological classification of cryptosystems and commitment schemes. Authentication primitives. Sigma protocols and their relation to digital signatures. Zero-knowledge and proofs of knowledge. Secure two- and multi-party computation. Oblivious transfer and crypto-computing. Composability and design of complex protocols.
type of assessment in Estonian
eksam
type of assessment in English
exam
independent study in Estonian
hetkel määramata
independent study in English
not fixed yet
study literature
Oded Goldreich. The Foundations of Cryptography II
Shafi Goldwasser, Mihir Bellare. Lecture Notes on Cryptography
Shafi Goldwasser, Mihir Bellare. Lecture Notes on Cryptography
study forms and load
daytime study: weekly hours
4.0
session-based study work load (in a semester):
lectures
2.0
lectures
-
practices
2.0
practices
-
exercises
0.0
exercises
-
lecturer in charge
-
LECTURER SYLLABUS INFO
semester of studies
teaching lecturer / unit
language of instruction
Extended syllabus
Course-teacher pairs of the corresponding version are missing!