changes.mady.by.user Mališa Vučinić
Saved on May 16, 2022
Saved on Jun 15, 2022
Slides at IETF-113: https://datatracker.ietf.org/meeting/113/materials/slides-113-lake-symbolic-model-analysis-01
Publication: https://eprint.iacr.org/2022/741.pdf