You are not logged in | Log in

Ethereum vulnerabilities

Speaker(s)
Aleksy Schubert
Affiliation
MIMUW
Date
March 11, 2022, 12:15 p.m.
Room
room 5820
Seminar
Seminar Semantics, Logic, Verification and its Applications

Ethereum vulnerabilities
 
Ethereum is an open decentralised platform based upon peer-to-peer network principles. It enables the possibility to deploy decentralised applications that run on the platform and manage  the resources of financial kind available on the platform. I will describe selected vulnerabilities pointed out in the paper
 
A Survey on Ethereum Systems Security: Vulnerabilities, Attacks, and Defenses
 
by Chen, Pendleton, Njilla, Xu. I will focus in my presentation on vulnerabilities related to coding, omitting ones related to the design or implementation of the platform itself.

 

 

In addition I would like to present the schedule of presentations for this semester:

11.03 - Aleksy Schubert, Ethereum vulnerabilities
18.03 - Jacek Chrząszcz, News in Coq
25.03 - Paweł Urzyczyn, Reasoning with refutations
29.04 - Aleksy Schubert, On word unification in Coq
13.05 - Marcin Benke, On proofs for all
20.05 - Aleksy Schubert, Algorithm for prooving in intuitionistic propositional
logic with limited number of atoms
27.05 - Konrad Zdanowski, TBA
10.06 - Aleksy Schubert, On specification collecting for Solidity code

 

For the up to date schedule see: https://www.mimuw.edu.pl/~alx/piatek.html