Periodic Reporting for period 3 - REWOCRYPT (Theoretically-Sound Real-World Cryptography)

What is the problem/issue being addressed?Modern techniques enable us to construct cryptosystems in a theoretically sound way, underpinned by mathematical arguments and based on a (relatively) small number of computational hardness assumptions that can be analyzed...