Provable Securityby Joon Sang Baek, Kefei Chen, Feng Bao, Xuejia LaiWriting a summary for young readers…For young readersBook data: Open Library