Symbolic methods in computational cryptography proofs

Name: Symbolic methods in computational cryptography proofs
Start: 2019-06-18T00:00:00Z
Location: CSF'19, Journée GT MFS 2019 and Pesto working group