Chaya Ganesh, Hamidreza Khoshakhlagh, Roberto Parisella. NIWI and New Notions of Extraction for Algebraic Languages. In Clemente Galdi, Stanislaw Jarecki, editors, Security and Cryptography for Networks - 13th International Conference, SCN 2022, Amalfi, Italy, September 12-14, 2022, Proceedings. Volume 13409 of Lecture Notes in Computer Science, pages 687-710, Springer, 2022. [doi]
Abstract is missing.