Joonsang BaekBooksProceedings of the 4th ACM International Workshop on ASIA Public-Key CryptographyInformation Security and PrivacyProvable SecurityAuthor data: Open Library