Fortuna was analyzed (and generalized) in https://eprint.iacr.org/2014/167. It's a solid design.