Provable and Practical Security