There has been some work on the topic, for instance https://eprint.iacr.org/2014/765.pdf https://eprint.iacr.org/2014/765.pdf But the main issue in provable se

There has been some work on the topic, for instance https://eprint.iacr.org/2014/765.pdf https://eprint.iacr.org/2014/765.pdf But the main issue in provable security is that you're trying to prove real world things with math, and so far we're quite bad at it. The more mathematical the thing you want to prove is, the better.