Proceedings of the 4th ACM International Workshop on ASIA Public-Key Cryptography | lit.salon