A Brief History of Provable Security and PKE Alex Dent Information Security Group Royal Holloway, University of London A Provable Timeline Late 1970s: First secure schemes…
