[LSV24]
Cosimo Laneve, Sergio Solmonte and Adele Veschetti.
A Stochastic Analysis of the Gasper Protocol.
In Proc. IEEE International Conference on Pervasive Computing and Communications Workshops.
2024.
[Analyses Ethereum's Proof of Stake consensus protocol, Gasper, using an extension of PRISM.]
|
