Practice-Oriented Provable Security