We present recent results in the design and analysis of proof of stake blockchain protocols. The talk will cover the design strategy behind Ouroboros and Ouroboros Praos, as well as we will introduce and analyse the concept of forkable strings as well as string divergence which is at the core of the security analysis. The security analysis covers both the synchronous and partial synchronous model as well as static, delayed and fully adaptive corruptions.

For more information visit the website here: 

Please feel free to drop-in to the seminar on the day, or register interest by emailing Paul Bennett, Research Institutes Administrator.


Aggelos Kiayias Bio.

Aggelos Kiayias is chair in Cyber Security and Privacy and director of the Blockchain Technology Laboratory at the University of Edinburgh.

He is also the Chief Scientist at blockchain technology company IOHK. His research interests are in computer security, information security, applied cryptography and foundations of cryptography with a particular emphasis in blockchain technologies and distributed systems, e-voting and secure multiparty protocols as well as privacy and identity management. 

His research has been funded by the Horizon 2020 programme (EU), the European Research Council (EU), the Engineering and Physical Sciences Research Council (UK), the Secretariat of Research and Technology (Greece), the National Science Foundation (USA), the Department of Homeland Security (USA), and the National Institute of Standards and Technology (USA).

He has received an ERC Starting Grant, a Marie Curie fellowship, an NSF Career Award, and a Fulbright Fellowship. He holds a Ph.D. from the City University of New York and he is a graduate of the Mathematics department of the University of Athens. He has over 100 publications in journals and conference proceedings in the area. He currently serves as the program chair of the Financial Cryptography and Data Security conference 2017. 

 

Add to my calendar

Back to listing