Efficient, Provably Secure Code Constructions