Title: Provable and Practical Security