263-2930-00L  Blockchain Security Seminar

SemesterSpring Semester 2018
LecturersM. Vechev, D. Drachsler Cohen, P. Tsankov
Periodicityyearly course
Language of instructionEnglish
CommentNumber of participants limited to 26.


AbstractThis seminar introduces students to the latest research trends in the field of blockchains.
ObjectiveThe objectives of this seminar are twofold: (1) learning about the blockchain platform, a prominent technology receiving a lot of attention in computer Science and economy and (2) learning to convey and present complex and technical concepts in simple terms, and in particular identifying the core idea underlying the technicalities.
ContentThis seminar introduces students to the latest research trends in the field of blockchains. The seminar covers the basics of blockchain technology, including motivation for decentralized currency, establishing trust between multiple parties using consensus algorithms, and smart contracts as a means to establish decentralized computation. It also covers security issues arising in blockchains and smart contracts as well as automated techniques for detecting vulnerabilities using programming language techniques.