Here's the paper of Cardano's provably secure PoS algorithm https://eprint.iacr.org/2016/889.pdf