This IACR school provided a comprehensive coverage of proof techniques used in symmetric cryptography. It was targeted at Ph.D. students and post-docs who were primarily working in this area. The school took place between 29 July 2018 and 3 August 2018 in Bertinoro, Italy.
COINS supported Navid Ghaedi Bardeh to attend Symmetric Proof Techniques school in Bertinoro, Italy.
