Unfortunately, I dont' know any peer-reviewed proof of PoS (im)-possibility, threat model etc. Time is needed here probably, we got good formal framework of PoW

Unfortunately, I dont' know any peer-reviewed proof of PoS (im)-possibility, threat model etc. Time is needed here probably, we got good formal framework of PoW only in 2014, 5 years after Nakamotos' WP(I mean Backbone's paper https://eprint.iacr.org/2014/765.pdf https://eprint.iacr.org/2014/765.pdf).