Posts classified under: Séminaire Cryptologie et sécurité

In this talk, we will give a broad introduction of the Tezos blockchain by introducing its architecture and design choices regarding safety and security in an adversarial distributed system. We … Continue reading Vincent Botbol – Introduction to the Tezos blockchain and static analysis of smart-contracts