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