Title: Provable security
Subjects: Congresses, Computer security, Cryptography, Information Systems, Data encryption (Computer science), Computer networks, Computer software, Data protection, Computer science, Computers and Society, Systems and Data Security, Algorithm Analysis and Problem Complexity, Management of Computing and Information Systems, Computer Communication Networks, Data Encryption