With the holiday season we have a special guest arriving from Zurich to visit our community – Dr. Petar Tsankov.

He is going to be speaking about how to secure blockchain and AI systems and present use cases from his work.

About Dr. Petar Tsankov

Dr. Petar Tsankov is a senior researcher at the ICE Center at ETH Zurich and Chief Scientists & Co-founder of ChainSecurity, an ETH spin-off that brings security to blockchain systems using automated reasoning and is behind the smart contract scanner securify.ch.

His research centers around the security and privacy of blockchain systems, safety and robustness of artificial intelligence, and network programmability and relies on combining techniques from the areas of programming languages and machine learning.

Topic: Security Challenges in Blockchain and AI Systems

In his talk, Petar will outline important open security problems in two emerging areas: blockchain and artificial intelligence.

First, Petar will present the fundamental challenge in automatically certifying the correctness of smart contracts. He will then present practical systems, build by ChainSecurity, which address this challenge and have been used to secure many large crypto projects.

As a second topic, Petar will present the challenge of building safe and reliable AI-based systems, such as autonomous cars. He will outline the progress made in the past few years and demonstrate how the AI2 system (http://safeai.ethz.ch/) verifies practical deep learning models (e.g., models that classify road signs).


The workshop will be held in Plovdiv, Bulgaria.
The concise location will be disclosed to approved participants.

Time Table (Dec. 26th, 2018)

18:00 – 18:15 Meet & Greet

18:15 – 19:15 Security Challenges in Blockchain and AI Systems, Dr. Peter Tsankov

19:15 – 19:30 Q&A Session

19:30 – 21:00 Wine & Networking

Apply to Join the Workshop

In order to participate send us more details about yourself and why you want to be a part of our event at events (at) trakia (dot) tech