Security Review of Ethereum Beacon Clients. - Jean-Philippe Aumasson; Denis Kolegov; Evangelia Stathopoulou (CoRR, 2021)