@tobiasrth
Cryptography, Formal Methods, Complexity Enthusiast prev. Cryptography @ Arcium CS @ TUM https://tobias-rothmann.github.io
There isnβt by any chance a recording of the talk, is there?