Paavolainen, Santeri, Carr, Christopher, "Security properties of light clients on the ethereum blockchain", IEEE Access, 2020